Add ArrayStoreExpr<Domain, Range>