Section C.3

LRM-287

Changes (changes in red and blue):

randomize( variable_identifier {, variable_identifier } )

[ with with constraint_block ];