let i_bool = function | Ceq -> eq_int_bool | Cneq -> ne_int_bool | Clt -> lt_int_bool | Cleq -> le_int_bool