Turn index simplification into a bottom-up rule for correctness.
Turn index simplification into a bottom-up rule for correctness.

mrakgr/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,ihc/futhark,diku-dk/futhark,mrakgr/futhark,ihc/futhark,ihc/futhark,HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark,mrakgr/futhark,HIPERFIT/futhark