int symbolIndex(int index) { return index > NT_OFFSET ? nonterminalIndex(index - NT_OFFSET) : terminalIndex(index); }