Fix negpostcond. Contemplo requires.