Agda.TypeChecking.Positivity.Tests
prop_oplus_Occurrence_Edge
tests