demo/graph_orientation.lgf
changeset 1734 2fb5ceac10e7
child 1901 723b2b81d900