nitc :: StaticAnalysis :: _outsets
Each node is associated with the current_outset it got.
current_outset
# Sets at the exit of each node. # # Each node is associated with the `current_outset` it got. var outsets = new HashMap[ANode, FLOW]