Added interface file for tree automaton.