Sema Diagnostic; Array subscript dimension check