Assertion list
spill (primary) → AtLocation
Results from Ascent++: 1
spill → AtLocation → a ga/gaa area 0.25