if a nexstate VIA is followed by an input, it needs to be parsed as a
STATE too
to be completed