That's not what property testing is about. It needs to hold for _all_ cases, not only for the predefined ones.