Change rule_tester for cavalieri_tester