public VariableStrings()
 {
     varsToStrings = ArrayMap.NewArrayMap();
     numVarsSet    = new IntCounter <string>(MapFactory.ArrayMapFactory <string, MutableInteger>());
 }