handle direct ungrounded discards without open push correclty
handle direct ungrounded discards without open push correclty

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