let dominate f v w =
    let rec continue n =
        if n = -1 then
            false
        else if n = v then
            true
        else
            continue f.(n).immediate_dominator
    in
    continue f.(w).immediate_dominator