Show warnings if they forget assertions.