Symbol: of_graph_is_present