let doStmt stmt = if stmt.sid = Param.end_point then Dataflow.Done (ToInfinity (S.singleton stmt)) else Dataflow.Post (fun data -> State.add stmt data)