Comment by comonoid

Well, inlining is not necessary, good old interprocedure analysis would resolve it too.