demo/digraph.lgf
changeset 1003 16f55008c863