Fix misconfiguration of postcondition.

Fix the postcondition declaration to assert that non-inflations are
failures.