Right now, TransformationRecordSynonymousConstants accepts constants if they are equal or if they represent zero-like scalar values of the same type. This could be extended to zero composite constants.