FuzzerPassCopyObjects might attempt to create a copy of OpUndef which is not supported by TransformationAddSynonym. Thus, an assertion fails that the transformation must be applicable by construction.