9 1 in this paper we address the problem of performing this optimization interprocedurally