Substitute postconditions with residual answer at the end of iteration.