# ecta: A library for Equality-Constrained Tree Automata