In some of the resulting terms, state labels other than M may be equal or unequal to M . If this is the case, we split those terms further to distinguish the two cases. To give a concrete example, one of the terms where this is the case can be split according to