Assertions to check properties of variables
