Bugfix.. The returned pddl did not necessarily comply with the rules of the world