7.2.20 Graph principle (only distribution)

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