Ah, I see. The property error will basically wrap other errors and provide extra information (related to the property test itself). Let me think about this a bit and how we can extend the current handling.