https://123dok.net/document/z3d4d9d8-decidability-equivalence-class-non-deterministic-tree-transducers.html