Assertions to check properties of complex data types
