Digraph - Longest/Infinite Path in a DAG/Infinite Cycle