Generalize constant propagation to subexpression inlining