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

...after the first EOF transition is traversed