Accepting multiple "--lib"
Adding support for `in`
Flag --init-stats returns info about constructors

  - Valid and invalid uses of 'this'

  - Only valid use is in statement of the form:

     this.f = e;
Adding ctor check in pipeline.
Removing --init-stats flag
Bitwise or
Fix in cast with primitive type