Merge regular expressions.
Eliminate unused production.
Use named terminals.
Uncomment sequents.
Named terminals.
Named terminals.
Comma.
Vlines and ampersands.
Named terminals.
Named terminals.
Comma.
Named terminals.