enumerate_cycles should not use state*
It should use the
tgba_digraph
interface instead.