Preserving symmetry of edges for undirected graphs

If `e in edges(g) == true`, it follows that `revedge(e) in edges(g) == true` for undirected graphs.