Do the data flow analysis (i.e. compute the input[] and output[] vectors for each ObNode).
See Implementation
Do the data flow analysis (i.e. compute the input[] and output[] vectors for each ObNode).