Performance patch

This should alleviate the performance problems with SmartLocalDefs (especially https://github.com/Sable/soot/issues/143)