interprocedural analysis