Optimal Interprocedural Program Optimization