Make the demand analyser take account of lambda-bound unfoldings

No match.