Finished PDDL ex2.