Make the demand analyser take account of lambda-bound unfoldings