The only special case so far is let - and case -floating, where we run into the same problems as cost-centres (and use pretty much the same solution).
We decide to not care too much about allocation costs at a number of points where it would have made things too messy.