Added Digraph support in CycleCheck