Assertion list
heifer (primary) → AtLocation

Results from Ascent++: 1
heiferAtLocation stage 0.42