let copy_rule = Rule.copy_rule