Add DVarSet - a deterministic set of Vars