Implemented Wishnu’s idea for quantifier evaluation in the Test module, since that’s definitely a better idea on second thought. However, performance with complete randomness is absolutely terrible now, so that problem needs to be addressed next.