Adds a property test