Implement blockSinking (part of lambda-dropping)