Assertion list for term "move past the trap".

Results from Ascent++: 1
builder CapableOfmove past the trap 0.25