Add the assert annotation