add assertions for verifying the contents of the model