t_65 :: (real ~ "1" on
         (i = 1 .. nlon + 1 by
          j = 1 .. nlat + 2 by
          k = 1 .. nlev + 1
         )
        )


CSE Eliminated

t_65 := - ( 1 / 2
          * scan(( varidx(t_49, [i, j - 1, k])
                 * varidx(v, [i, j - 1, k])
                 ), k = k .. nlev, +)
          )