I think completely prohibiting merging of MEMs because they have different
attributes goes a bit to far.
I don't. It seems peculiar to me that you'd have a valid cross-jump in
that case.
I don't see how it can happen.
Can you show an example?
That will also help saying what the right approach might be.