Generalize Cycle finding

I need a directed graph cycle finder for DSM sequencing, so I generalized the cycle finder of the controller check.