y: WIP snapshot
y: WIP snapshot
y: WIP snapshot
y: WIP snapshot
y: WIP snapshot
y: WIP snapshot(be4 other interpretation of FIRST for empty LAs)
y: WIP snapshot(TODO conflict resolution must remove from the respective LA)
y: WIP snapshot: restore reduce actions for empty rules.