Class TokenStreamToAutomaton.Positions