For AP library
Errors(G2, G1): if G1 has an edge (A,B) then G2 has such an edge, otherwise report error.
Intent: Lists all the places where the old traversal (G1) brakes if used in new class graph (G2).
Information for test specification: check whether redirections are correct.