Object Relativisation
Structural Rewrite
Collapse
Merge
Tree 1
Tree 2
Tree 3