class_docstr: Encapsulation of the basic CFG state changes needed for lowering.
class_docstr_tok: ["Encapsulation","of","the","basic","CFG","state","changes","needed","for","lowering","."]
code: def maybe_add_pop(self, defined, live):
      poppable = defined.difference(live)
      if poppable:
          self.append_instruction(inst.PopOp(list(poppable)))
  
imports: import collections
  from tensorflow_probability.python.experimental.auto_batching import instructions
  from tensorflow_probability.python.experimental.auto_batching import liveness
label_desc: Use image node_id 5 for calling the ControlFlowGraphBuilder obj's underlying member method code with example usage: obj.maybe_add_pop(defined, live) without return types