RBT example: reduce key value coverage to improve bytecode speed
RBT example: add a well-formedness check