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)