insplit: generalize to any label
Currently insplit
makes sure incoming transitions are either all spontaneous, or all proper. We could also provide a means to guarantee that each state has a single incoming label.
Currently insplit
makes sure incoming transitions are either all spontaneous, or all proper. We could also provide a means to guarantee that each state has a single incoming label.