docs: def add_function(self, func):
          """
          Add a function `func` and all blocks of this function to the blanket.
          """
          for block in func.blocks:
              self.add_obj(block.addr, block)