Parser avoids infinite loop by cutting impossible (but unfinished)
states
infix syntax started