Assertion list
batch (primary) → AtLocation
Results from Ascent++: 2
batch → AtLocation → error 0.44
batch → AtLocation → progress 0.25