(fix-constraints a)
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.