let
p_rcmp op = predop (r_pred op)