Checks if this graph is isomorphic with another one
the other dependency graph
Left(msg) if it is not isomorphic or Right(()) if it is isomorphic