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