Boogie problem with loop over fixed size arrays

[wmanshu]

This is a Boogie problem. Similar problem also happens with [Address] in 04_lottery_10_users.flint.

contract A {
  var arr1: Int[10] = []
}

A :: (any) {
  public init() {}

    func joinedAlready(participant: Int) -> Bool
    {
      for var i: Int in arr1 {
        if i == participant {
          return true
        }
      }
      return false
    }
}

eror message:

unknown sequence type used for for-loop iterable fixedSizeArrayType(AST.RawType.basicType(AST.RawType.BasicType.int), size: 10)