added interprocedural and intermodular analysis