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)