Add analysis code for Loop Failures (bug 999028).