Return a cycle in CSTS, assuming there's one. CSTS is a list of pairs representing arcs in a graph. (fn CSTS)