Update hanoi_domain.py