docs: def _pick_exit(self, block_address, stmt_idx, target_ips):
          """
          Include an exit in the final slice.
  
          :param block_address:   Address of the basic block.
          :param stmt_idx:        ID of the exit statement.
          :param target_ips:      The target address of this exit statement.
          """
  
          # TODO: Support context-sensitivity
  
          tpl = (stmt_idx, target_ips)
          if tpl not in self.chosen_exits[block_address]:
              self.chosen_exits[block_address].append(tpl)