Assertion list
new regulation (subgroup of regulation ) → AtLocation
Results from Ascent++: 1
new regulation → AtLocation → error 0.25