+ is already used for collapsed unaries, use # for state splits