MResidueQ

MResidueQ[ expr ]
returns True if expr is a residue set with head MResidue, and False otherwise.