let stmt_postdominators f stmt = match get_stmt_postdominators f stmt with | DomSet.Value s -> s | DomSet.Top -> raise Db.Postdominators.Top