(IsSetCons pf prfRec)