now handle array/array.Length in semantic check