demo/digraph.lgf
changeset 533 e72bacfea6b7