test_reduction_rule.py 10.3 KB