Update prob2-3.pddl