explicit_tree_aut_test: change StupidAlphabet to DirectAlphabet
explicit_tree_aut: move DirectAlphabet from a test