A goal to run the constraints in cq until it is empty. Of course running a constraint may grow cq so this function finds the fixpoint.