let clear_rules = Rule.clear_rules