added creational function
backend of tree automata is now private