mk
open fun <R : KSort> mkArrayNStoreNoSimplify(array: KExpr<KArrayNSort<R>>, indices: List<KExpr<*>>, value: KExpr<R>): KArrayNStore<R>
Create n-ary array store expression (store array_0 ... indices_n value).