Added Heuristic 4 to the planner (minimal number of projection
variables)