Better and simpler test for violations of the `split` condition in `unify`.