Update does_graph_have_cyclic.h