Examples: Constraints implemented using RNG

This section is non-normative.

This section of the specification contains examples of constraints implemented using RNG