demo/digraph.lgf
changeset 1015 d32e4453b48c