Interprocedural analysis for program comprehension by specialization.