aut_base.hh: add overloaded operators for TTransition
explicit_tree_aut.hh: add the DownAccessor class