let prece p_1 p_2 = let h = max (nbones p_1.u) (nbones p_2.u) + lcm (nbones p_1.v) (nbones p_2.v) in let rec check j = if j <= h then (iof p_1 j <= iof p_2 j) && check (j + 1) else true in check 1