labeling_b(AllVars) :- ( fromto(AllVars, Vars, VarsRem,[]) do deleteff(Var,Vars,VarsRem), indomain(Var) ).