graph-cloningcopyspecificationspecs/copy/export/dataspecificationlib-basic../../lib/basic/specs/data/export/elemspecificationlib-basic../../lib/basic/specs/elem/export/elem-optionspecificationspecs/elem-option/export/elemdataspecificationlib-basic../../lib/basic/specs/elemdata/export/evalspecificationspecs/eval/export/functionsspecificationspecs/functions/export/grefspecificationseparation../../lib/separation/specs/gref/export/heapspecificationseparation../../lib/separation/specs/heap/export/heap-sepspecificationseparation../../lib/separation/specs/heap-sep/export/listspecificationlib-basic../../lib/basic/specs/list/export/list-dataspecificationlib-basic../../lib/basic/specs/list-data/export/mapletspecificationseparation../../lib/separation/specs/maplet/export/natspecificationlib-basic../../lib/basic/specs/nat/export/nat-basic1specificationlib-basic../../lib/basic/specs/nat-basic1/export/nat-basic2specificationlib-basic../../lib/basic/specs/nat-basic2/export/nodespecificationspecs/node/export/node-heapspecificationspecs/node-heap/export/objspecificationseparation../../lib/separation/specs/obj/export/ops-implspecificationseparation../../lib/separation/specs/ops-impl/export/refspecificationseparation../../lib/separation/specs/ref/export/ref-mapspecificationspecs/ref-map/export/refobjspecificationseparation../../lib/separation/specs/refobj/export/refsetspecificationseparation../../lib/separation/specs/refset/export/separationspecificationseparation../../lib/separation/specs/separation/export/set-basicspecificationlib-basic../../lib/basic/specs/set-basic/export/set-unionspecificationlib-basic../../lib/basic/specs/set-union/export/storespecificationlib-basic../../lib/basic/specs/store/export/store+setspecificationlib-basic../../lib/basic/specs/store+set/export/store+set-rspecificationspecs/store+set-r/export/successorsspecificationspecs/successors/export/