A program fragment by Alain Darte and Guillaume Huard, which shows that optimizing for array access reuse and array contraction is not the same.

`Alain Darte and Guillaume Huard. New results on array contraction. Technical Report RR2002-17, LIP, ENS-Lyon, France, April 2002. <http://perso.ens-lyon.fr/alain.darte/RR/main.pdf>`_
