- cross-function analysis (though probably not through function arguments?) - eliminate unused components of blocks One motivation is to be able to eliminate unused code in functors (in tyxml, for instance).