explicit_tree_aut: add CopyTransitionsFrom(src, fctor)