Assertion list for term "go until main intersection".

Results from Ascent++: 1
turn CapableOfgo until main intersection 0.31