Very simple multi-fof test.
Grammar adjustments.
Turn off warnings and skips.
Wrong variable to inspect.
Say what the length of the remainder is.
Load the symbols one by one.
Say what we can parse.
Testing that something is an implication.
Export the is_implication check.
Dump the whitespace rule.
Deal with whitespace at the parser level, not as a rule.
Named terminals.
Check that we have parsed everything.
Import is_implication.
Deal with the simplest test.