let
print = print_rule_name