7  Determinizing Tree Automata with pldet