Ignoring dead states could be bad (see airport problem).
gripper - prob01.pddl: instance where IP is perfect and LP not
miconic - s1-0.pddl: instance where without gl there are only cycles used
