Debugging temporal \+ fluets domain. domain_v7.pddl uses durative-actions and fluents, domain_v7b.pddl is the same as domain_v7.pddl but does not check the height of the stacks (line commented). The weird thing is that prob_simple_v7.pddl works for both domains, but prob3_v7.pddl hangs for domain_v7.pddl on 'Computing mutex...'. This leads to think that we can't use fluents without durative-actions on LPG... Moreover the domain is not optimized for fluents environments...