DirectedGraphCompressed realised