SmartLocalDefs is now really smart

SmartLocalDefs is now even more "smarter". 
* 2 different strategies for calculating the LocalDefs
* data-flow-analysis now based on bitsets
* calculates the data-flow-analysis only when required