Test on loop optimizations, in particular with polynomial induction.