This is already done in the form of deciding whether or not to inline a function.