protected override void EnterElement(GrammarAST tree) { frequencies.Push(new FrequencySet<string>()); minFrequencies.Push(new FrequencySet<string>()); }