Add VarSet.disjointVarSet, and use it