Assertion list for term "turn into larger one".

Results from Ascent++: 1
square CapableOfturn into larger one 0.25