diff --git a/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps b/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps
index 98f7d646..93bd02e4 100644
--- a/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps
+++ b/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps
@@ -790,7 +790,7 @@
     </node>
   </node>
   <node concept="312cEu" id="6BpNyAB2kqw">
-    <property role="TrG5h" value="Tuple" />
+    <property role="TrG5h" value="Tuple5" />
     <property role="2bfB8j" value="true" />
     <property role="1sVAO0" value="false" />
     <property role="1EXbeo" value="true" />
@@ -1107,7 +1107,7 @@
                               <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                             </node>
                             <node concept="3uibUv" id="6BpNyAB2ksp" role="10QFUM">
-                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                             </node>
                           </node>
                         </node>
@@ -1132,7 +1132,7 @@
                               <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                             </node>
                             <node concept="3uibUv" id="6BpNyAB2ks$" role="10QFUM">
-                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                             </node>
                           </node>
                         </node>
@@ -1158,7 +1158,7 @@
                             <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                           </node>
                           <node concept="3uibUv" id="6BpNyAB2ksJ" role="10QFUM">
-                            <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                            <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                           </node>
                         </node>
                       </node>
@@ -1184,7 +1184,7 @@
                           <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                         </node>
                         <node concept="3uibUv" id="6BpNyAB2ksU" role="10QFUM">
-                          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                         </node>
                       </node>
                     </node>
@@ -1210,7 +1210,7 @@
                         <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                       </node>
                       <node concept="3uibUv" id="6BpNyAB2n1n" role="10QFUM">
-                        <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                        <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                       </node>
                     </node>
                   </node>
@@ -1251,7 +1251,7 @@
         <property role="TrG5h" value="other" />
         <property role="3TUv4t" value="false" />
         <node concept="3uibUv" id="6BpNyAB2kt7" role="1tU5fm">
-          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
         </node>
       </node>
       <node concept="3clFbS" id="6BpNyAB2kt8" role="3clF47">