Test code generation for BoundsCheck.
