See the comment on the line before; I *believe* there are cases where these tokens are inserted by the parser. But it has been a while since then and I need to take a closer look.