@Override
          public void accept(DfaVariableValue value) {
            if (!newVars.get(value.getID())) {
              if (!cloned) {
                newVars = (BitSet)newVars.clone();
                cloned = true;
              }
              newVars.set(value.getID());
            }
          }
@Override
          public void accept(DfaVariableValue value)