Las postcondiciones se prueban a veces mediante aserciones incluidas en el código.