working on scalability issues related to inconsistent type analysis