Palabra no encontrada

La palabra "postconditions" no existe.