Defined in File GraphTools.hpp
Appends graph G1 to graph G as a new subgraph. Performs node id remapping.
G – Graph where @G1 will be appended to.
G1 – Graph that will be appended to G.