A node in the function's expression graph, and its edges to predecessors and successors.
expression for the node
new states generated for this node
index of this in obnodes
variable states on entry to exp
variable states on exit to exp
predecessors
successors
try-finally block we're inside
See Implementation
A node in the function's expression graph, and its edges to predecessors and successors.