fusion tests for untyped fusion: show that traversal finds minimum number of nodes, and between min&max finds minimum number of edges