let get_stmt_dominators f stmt = let do_it () = Dom.find stmt.sid in try do_it () with Not_found -> compute_dom f; do_it ()