Assertion list for term "come to hanoi".

Results from Ascent++: 1
tourist CapableOfcome to hanoi 0.42