Cycles tested. search_all_input/output_pos_arc procedures implemented