AGGL to PDDL was wrong