skeletal structure of property based testing