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