gen/choose is better for ranges then gen/such-that