Remove subsume tests (not going to do that).