Fixed a bug where value was not constrained as follows
    randomSpecLow <= value < randomSpecHigh
Sometimes, randomSpecHigh was chosen as well