an optimization that reduces some function applications is implemented
generalize an inlining optimization