public Item createInitialItem(FlowGraph graph, Term node) { if (node == graph.entryNode()) { return DataFlowItem.REACHABLE; } else { return DataFlowItem.NOT_REACHABLE; } }