Add clarifying assertions to PropertyTest