let
p_icmp op = predop (i_pred op)