fixed no heuristic -> was doing non-greedy on its own
fixed no heuristic -> was doing non-greedy on its own

GKIFreiburg/gki_symbolic_planning,GKIFreiburg/gki_symbolic_planning,GKIFreiburg/gki_symbolic_planning,GKIFreiburg/gki_symbolic_planning