You're right, I re-published with better tests.

Details

I was relying on quickcheck before, but it's too random.

I removed quickcheck, and replaced the random tests with one where the id's are guaranteed to be unique.

I also made sure the rides id list is limited to the ids in the lifts id range.