A menudo, las postcondiciones se incluyen simplemente en la documentación de la correspondiente sección de código.