A library of tree automata.