Recognize that any product molecule from a transformation
will have the same core structure as the transformation
specification. huh?!?
In effect, you get a common subgraph, with a graph-invariant
labelling of the atoms, as part of the output of a transformation.