digraph ir