labeled method

This method translates a literal labeled(X) and forces the variable named by X to be eventually identified with one of the explicitly labeled variables. We introduce I to denote this explicitly labeled variable.

<Dominance: Solver class, labeled method>=

meth labeled(X)
   N = {self var2node(X $)}
   I = {FD.decl}
in 
   {FS.include I @labs}
   {FS.include I N.eq}
end