Add how-to for checking if one graph is a subgraph of another.