eos() and genlex

[nicolas-zozol]

eos() could be not working with genlex

[d-plaindoux]

eos() has no corresponding token in the current implementation.