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