An assertion is a formal constraint on the behavior of a software application. Programmers commonly write such a constraint as an annotation, and it usually describes what the application is supposed ...