let
p_cond =
PRED
.p_cond