Creates a new instance of the LivenessAnalyser class
The control flow graph. Can be either a Cytoscape graph or a ControlFlowGraph object.
Computes the def, use, live in and live out sets of each CFG node
An array that contains the def, use, live in and live out of each CFG node.
Creates a new instance of the LivenessAnalyser class