Chaining Check: Init Field Outside Constructor
Chaining Check: Check Binary Operation on Undefined Values
Chaining Check: Polymorphic Function Call
Adjust all analysis
fix bugs caused by changes in Jalangi master branch
update command line usage