Assertion list for term "go to the label".

Results from Ascent++: 1
cut CapableOfgo to the label 0.29