Successfully parses statements e.g '0, 1, 2 -> S0' into multiple transitions, but does not create a joint label yet.