public virtual IEnumerable<int> GetDisabledAlternatives( DFAState d ) { return d.DisabledAlternatives; }