public void AddNewVariable(int no)
 {
     // if the variable subspacing is disabled, all constants are in this DS too
     if (!Ds.IsVariableIncluded(no))
     {
         Ds.AddVariable(no);
         this.m_newVariables.Add(no);
     }
 }