Add digraph, basic tests