Probably, idk, this was just the most drawable part of something I just came up with on my own when figuring out how to eliminate sequences which are tails of other sequences.

And I am sure compilers do this (or probably something strictly better) when figuring out how to "overlap" functions where one function's code is exactly the tail of another function's code. By "overlap" I mean generate and order the machine instructions so that one function just "falls off the end" into the other function's body.