public FuncDecl GetChildAccessor(string symbol, int n) { int id = GetId(symbol); if (!(1 <= n && n <= ranks[id])) throw new AutomataException(AutomataExceptionKind.RankedAlphabet_ChildAccessorIsOutOufBounds); return accessors[id][n]; }