gac3(_, Doms, [], _, Doms).
gac3(Vars, Doms, [HQueue|TQueue], Constraints, RevisedDomains):-
    HQueue = hyperarc(Source, Depends, ConstrExpr),
    revise(Source, Vars, Doms, Depends, ConstrExpr, DStar),
    getDomainOfAVar(Vars, Doms, Source, DomOfSource),
    write('WTF?!?!?\n'),
    write(DStar),
    write('\n'),
    DStar \== DomOfSource
        -> (
            updateDomainOfAVar(Vars, Doms, Source, DStar, NewDoms),
            getConstraintsOfAVar(Source, Constraints, ConstraintsList),
            newHyperArcs(Source, ConstrExpr, ConstraintsList, NewHypers),
            newQueue = [ TQueue | NewHypers ],
            gac3(Vars, NewDoms, newQueue, ConstraintsList, NewDoms)
            );
            (
                gac3(Vars, Doms, TQueue, Constraints, RevisedDomains)
            ).