7.2.19 Graph principle (no distribution)

This principle is like the Graph principle (Graph), except that it does not apply non-deterministic distribution. That is, it does not use the constraint functor GraphDist.