Test on loop optimizations, in particular with geometric induction.