Class DemandPointerFlowGraph