Using lattice expansion rules, however, it is not necessary, as one lattice RHS can encode an arbitrary number of flat rules (see for example the RHS of X0 in figure 3).
we set the constraint that there is only one lattice expansion rule for each left-hand non-terminal.