set some untyped expressions

src/main/scala/leon/ArrayTransformation.scala

@@ -77,7 +77,7 @@ object ArrayTransformation extends Pass {
       val length = TupleSelect(ar, 2).setType(Int32Type)
       IfExpr(
         And(GreaterEquals(ir, IntLiteral(0)), LessThan(ir, length)),
-        ArraySelect(TupleSelect(ar, 1), ir).setType(sel.getType).setPosInfo(sel),
+        ArraySelect(TupleSelect(ar, 1).setType(ArrayType(sel.getType)), ir).setType(sel.getType).setPosInfo(sel),
         Error("Index out of bound").setType(sel.getType).setPosInfo(sel)
       ).setType(sel.getType)
     }

src/main/scala/leon/purescala/TypeTrees.scala

@@ -100,6 +100,7 @@ object TypeTrees {
     case UnitType => FiniteSize(1)
     case Int32Type => InfiniteSize
     case ListType(_) => InfiniteSize
+    case ArrayType(_) => InfiniteSize
     case TupleType(bases) => {
       val baseSizes = bases.map(domainSize(_))
       baseSizes.find(_ == InfiniteSize) match {