Induction Loops - Value Estimation - 1291197