Update hanoi.pddl