Class DemandValueFlowGraph