Change in FailEnterUnloadBuffer precondition method parameters