then the goto state is defaulted, i.e. $gotoDefault[$nonTerminal] should be used.
Type: int[] Table indexed analogously to $goto. If $gotoCheck[$gotoBase[$nonTerminal] + $state] != $nonTerminal
protected array $gotoCheck;