Examples: Constraints implemented using RNG

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