changes from pull request:
Improved flow analysis performance for variable initialization
by Spasi
removed unnecessary code