Add assert in Groups::HandleBLockMerge.
Do not add create a new semi that is a superset of an existing one.