is_applicable when inserting a successor does not use modules in progression when relaxed
is_applicable when inserting a successor does not use modules in progression when relaxed

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