Test ho kbo failure

[nartannt]

Test ordering_derived_ho_kbo_transitive(56) fails on seed 697203357.

The test script outputs this:

test `ordering_derived_ho_kbo_transitive` failed on ≥ 1 cases:
(ite e b e, p_ho2 (λ (Y0:ι). b) (λ (Y0:ι). a), p_ho2
 (λ (Y0:ι).
   (f d ((λ (Y1:ι → ι → ι). (F0 d)) (λ (Y1:ι) (Y2:ι). Y0))))
 (λ (Y0:ι). X0)) (after 41 shrink steps)

[exception] test `ordering_derived_ho_kbo_transitive` failed on ≥ 1 cases:
(ite e b e, p_ho2 (λ (Y0:ι). b) (λ (Y0:ι). a), p_ho2
 (λ (Y0:ι).
   (f d ((λ (Y1:ι → ι → ι). (F0 d)) (λ (Y1:ι) (Y2:ι). Y0))))
 (λ (Y0:ι). X0)) (after 41 shrink steps)

            Raised at QCheck2.Test.check_result in file "src/core/QCheck2.ml", line 2013, characters 6-38
            Called from Alcotest_engine__Core.Make.protect_test.(fun) in file "src/alcotest-engine/core.ml", line 181, characters 17-23
            Called from Alcotest_engine__Monad.Identity.catch in file "src/alcotest-engine/monad.ml", line 24, characters 31-35

I will be adding a test-reg2 with this seed to the Makefile and looking into this.