Remove wrong postcondition.