docstr: Mark this part of the tree as not worth re-exploring.
docstr_tok: ["Mark","this","part","of","the","tree","as","not","worth","re-exploring","."]
code: def kill_branch(self):
      """Mark this part of the tree as not worth re-exploring."""
      if self.killed:
          return
  
      self.killed = True
  
      if self.__index_in_current_node < len(
          self.__current_node.values
      ) or (
          self.__current_node.transition is not None
          and not isinstance(self.__current_node.transition, Killed)
      ):
          inconsistent_generation()
  
      if self.__current_node.transition is None:
          self.__current_node.transition = Killed(TreeNode())
          self.__update_exhausted()
  
      self.__current_node = self.__current_node.transition.next_node
      self.__index_in_current_node = 0
      self.__trail.append(self.__current_node)
  
imports: from __future__ import absolute_import, division, print_function
  import attr
  from hypothesis.errors import Flaky, HypothesisException
  from hypothesis.internal.compat import hbytes, int_to_bytes
  from hypothesis.internal.conjecture.data import ConjectureData, DataObserver, Status, StopTest, bits_to_bytes
  from hypothesis.internal.conjecture.junkdrawer import IntList
label_desc: Use image node_id 3 for calling the TreeRecordingObserver obj's underlying member method code with example usage: obj.kill_branch() without return types