add Algorithm CheckSummary(G, S)