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

(cherry picked from commit d554ace0ecd1712cc1f0cde376077383c1944ac6)