let
e_icmp op = binop (i_bool op)