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)