let stmt_postdominators f stmt =
match get_stmt_postdominators f stmt with
| DomSet.Value s ->
Postdominators_parameters.debug ~level:1 "Postdom for %d are %a"
stmt.sid Stmt.Hptset.pretty s;
s
| DomSet.Top -> raise Db.PostdominatorsTypes.Top