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