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