AtomDiag()
In-place assignment: self is rewritten to match y.
self
y
Source node; its tag and childs are aliased into self.
tag
childs
self, after the rewrite (for chaining).