add interprocedural analysis