let
empty pdg =
PropMark
.create pdg