let empty pdg = PropMark.create pdg