@var array<int, string> Names of the production rules (only necessary for debugging)
Type: productions
protected array $productions;