getCFG() on FlowGraphNode. Other small changes