Test on loop optimizations, in particular around common induction.