public int AddVar(string varName, BddManager manager, List <string> bddToName)
{
int varID = manager.CreateBddVariableLast().GetBddRootVariableID();
m_VariablesToId.Add(varName, varID);
bddToName.Add(varName);
manager.CreateBddVariableLast();
bddToName.Add(varName + "''");
manager.CreateBddVariableLast();
bddToName.Add(varName + "'");
return(varID);
}