Assertion list
push (primary) → IsA
Results from Ascent++: 1
push → IsA → force 0.37