Update graph_has_cyclic.h