let e_icmp op = binop (i_bool op)