Working digraph split checker.