7.2.23 Graph1 principle (only distribution)

This principle adds non-deterministic distribution to the Graph1Constraints principle (Graph1Constraints). The two principles together are equivalent to the Graph1 principle (Graph1).