let find_cycles tree = find_normal_cycles tree (backward_edges tree)