An H-immersion is a model of a graph H in a larger graph G. Vertices of H are represented
by distinct "branch" vertices in G, while edges of H are represented by edge-disjoint walks
in G joining branch vertices. By the ...