Apparent dependency lost with DeliteReduceTupleElem

[asujeeth]

The following OptiML code looks ok to me, but produces a violated ordering of effect error:

val slice = (Matrix.rand(3,3)*100).map(_.AsInstanceOf[Int])    
val histogram = DenseVector[Int](256, true)    
var row = 0
while (row < slice.numRows) {
  var col = 0
  while (col < slice.numCols) {
    histogram(slice(row,col)) = histogram(slice(row,col))+1
    col += 1
  }
  row += 1
}      

// this produces violated error:
if (histogram.max > 1) histogram.maxIndex else 0
histogram.maxIndex

However, if we replace the last two lines with:
histogram.max

Or:
val htest = histogram.unsafeImmutable
if (htest.max > 1) htest.maxIndex else 0

the error goes away.

[asujeeth]

This code exists and is runnable in Scratchpad.scala in the optiml-beta branch (under the comment "Bug 1").