explicit_tree_aut: overload the "->" iterator