Verify rules

[nrc]

Following the compiler (looks like this is going to be a very big thing to do). It is necessary to ensure we don't loop forever and maybe to prevent crashes

[dtolnay]

Is this verification what the compiler calls "follow set"?

[nrc]

It includes the first/follow set stuff but also checking for empty sequences and perhaps some other things too