Adding a case for tail calls.
Still missing the forward tail call case, as there is legit code that
does weird branches like that.