IsSetCons pf prfRec