Treat EOF transitions in the ATN as epsilon transitions...

...after the first EOF transition is traversed.

EOF can appear on the right edge of any rule, even rules below the start rule in the call stack. This fix effectively allows EOF+ at the end of any input stream.