add error regression tests

...esources/regression/verification/xlang/error/Array1.scala

...sources/regression/verification/xlang/error/Array10.scala

...esources/regression/verification/xlang/error/Array2.scala

...esources/regression/verification/xlang/error/Array3.scala

...esources/regression/verification/xlang/error/Array4.scala

...esources/regression/verification/xlang/error/Array5.scala

...esources/regression/verification/xlang/error/Array6.scala

...esources/regression/verification/xlang/error/Array7.scala

...esources/regression/verification/xlang/error/Array8.scala

...esources/regression/verification/xlang/error/Array9.scala

...ces/regression/verification/xlang/error/InstanceOf1.scala