inference graph stub: cyclic graph -> acyclic components (tarjan algorithm)