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.