Made terse random variable construction calls in spec and fixed operator precedence issue in test