Experimental: throw out critical pairs that are too big before normalisation