Added analysis in the front-end for tail-call candidates.