Fix iscptp

In my earlier PR, I had forgotten to add a check for trace preservation in the ``iscptp`` property. This has now been added, along with test cases for the new ``istp`` and ``iscp`` properties. I'm not entirely satisfied with importing within the property bodies, but I'm not sure how else to avoid circular dependencies.