Picking Properties to Test in Property Based Testing