Tree Automata Workbench, written in Scala