Updates to edomain.pddl