Existing CFG with Basic Blocks	Augmented with LiveVariables