(multi2mono) add transitions and states to their containers (edges and
vertices in the graph)