let
i_cmp _i cmp e1 e2 = (
F
.e_icmp cmp e1 e2)