Interface AbstractDemandFlowGraph.FlowStatementVisitor