let doStmt (s: stmt) (_d: t) =
    if not (Db.Value.is_reachable (Values_To_Use.get_stmt_state s)) then
      Dataflow.SDone
    else
      Dataflow.SDefault