Added FF, auto-generated PDDL