Added correctness test for rule support.