MVPlanner: Now generating compatible PDDL.