let stmt_dominators f stmt = match get_stmt_dominators f stmt with | DomSet.Value s -> s | DomSet.Top -> raise Db.Dominators.Top