BZ-952930 - Verifier: Analysis doesn't detect equivalent rules