smtlib
A tree transformer with pre/post transformation
a tree transformer without carrying a context
Transformer for any tree
Generic and useful operation on entire trees