updating propertyTest for new spec compliance