explicit_tree_aut: add virtual destructor for AbstractAlphabet()