docs: def increase_last(self, k):
          """
          Increase the counter of the last matched rule by k.
          """
          rule = self._last_rule
          if rule is not None:
              rule.increase_last(k)