Update hanoi example
Remove consider synonym for binding-of