Changing to using DDVariableSpace for everything instead of HashSets of DDVariables.  Not currently working.