If this is not already the case, then we can simply add useless states without rules for them.
we assume that the first case applies to each l ∈ L. Next, we add two sets of rules to R M , which will not change the semantics but prove to be useful in the composition construction.