let
nodelist gr =
DG
.foldnodes (
fun
y a
->
y::a) gr []