Consider using proguard to filter out dead code

[Petter Måhlén]

This would probably best be done by adding an interface for reachability analysis, so you could plug in different reachability analysers with different characteristics.