Update my-domain-extended.pddl