docs: def overridden_by_assumptions(*args):
      '''Stores what assumptions a function is overridden by as an attribute.'''
      args = tuple(args)
  
      def decorator(func):
          func.overridden_by_assumptions = args
          return func
      return decorator