EOF handling

* No need to continue SLL prediction if every configuration is in a `RuleStopState`
* After consuming EOF, only configurations in a `RuleStopState` are viable