graph_is_mapping_correct  877 graph.c        	else if (graph_is_mapping_correct(graph))
graph_is_mapping_correct  956 graph.c        	if (graph_is_mapping_correct(graph))
graph_is_mapping_correct 1109 graph.c        	if (graph_is_mapping_correct(graph))