Assertions to check the properties of code
