added encoding of Aeolus in PDDL language