SetReplaceMethodImplementation represents a (usually internal) implementation of either a translation or a
property. It has the implementation symbol as the only argument.
It is used in vertex names of $SetReplaceTypeGraph.
SetReplaceMethodImplementation represents a (usually internal) implementation of either a translation or a
property. It has the implementation symbol as the only argument.
It is used in vertex names of $SetReplaceTypeGraph.