7.2.22 Graph1 principle (no distribution)

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