let doStmt stmt =
    !Db.progress ();
    Parameters.debug "doStmt : %d" stmt.sid;
    match stmt.skind with
    | Return _ -> Dataflow.Done (DomSet.Value (Stmt.Set.singleton stmt))
    | _ -> Dataflow.Post (fun data -> DomSet.add stmt data)