Make the semantics used by the 'isHarpyCertificate' procedure stricter.