docs: def profile_rule(self, rule):
          """Bump count of the number of times _rule_ was used"""
          rule_str = self.reduce_string(rule)
          if rule_str not in self.profile_info:
              self.profile_info[rule_str] = 1
          else:
              self.profile_info[rule_str] += 1