changed some code for WitnessSet; (random, WitnessSet) truncates the sampled point to the number of coordinates specified by the key ProjectionDimension