Temporal domain without functions (domain_v6.pddl) seems to work. prob5_v6 tests all the actions but put-on-stack-bo, works for LPG