/** * Add <code>var</code> into union find * * @param var */ void add(VarImpl var) { uf.add(var, var.getECR()); }