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