Add pruning examples in TC-I

At the moment, only one example is given in TC-I which concerns inlining, and leaves a function unused. It would make sense to add another example underneath showing this function being removed thanks to pruning.