From 45dbdacc463797896af68e0a5810eed9791a76c9 Mon Sep 17 00:00:00 2001
From: Bill <wholcombe@cnm.edu>
Date: Tue, 3 Feb 2026 20:51:35 -0700
Subject: [PATCH] Fix SimpleExample test model concept reference syntax

- Removed namespace prefix from all concept attributes (k8se:XXXX -> XXXX)
- Removed namespace prefix from all role attributes
- Made SemAnno.structure import implicit=true
- Corrects MPS concept index resolution for model instantiation

This should resolve "Bad concept index key" error when loading the model.

Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
---
 languages/SemAnno/models/SimpleExample.mps | 186 ++++++++++-----------
 1 file changed, 93 insertions(+), 93 deletions(-)

diff --git a/languages/SemAnno/models/SimpleExample.mps b/languages/SemAnno/models/SimpleExample.mps
index e7d1e58..456f427 100644
--- a/languages/SemAnno/models/SimpleExample.mps
+++ b/languages/SemAnno/models/SimpleExample.mps
@@ -6,108 +6,108 @@
     <use id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core" version="11" />
   </languages>
   <imports>
-    <import index="k8se" ref="r:e209a700-5f8c-468c-afcc-f38277628970(SemAnno.structure)" />
+    <import index="k8se" ref="r:e209a700-5f8c-468c-afcc-f38277628970(SemAnno.structure)" implicit="true" />
   </imports>
   <registry />
-  <node concept="k8se:7kypvuIwECC" id="TE_00001">
+  <node concept="7kypvuIwECC" id="TE_00001">
     <property role="TrG5h" value="MathLibrary" />
-    <node concept="k8se:7kypvuIwEFC" id="TE_00002" role="k8se:7kypvuIwECE">
+    <node concept="7kypvuIwEFC" id="TE_00002" role="7kypvuIwECE">
       <property role="TrG5h" value="PI" />
-      <node concept="k8se:7kypvuIwBBC" id="TE_00003" role="k8se:7kypvuIwEFD">
-        <node concept="k8se:7kypvuIwBCC" id="TE_00004" role="k8se:7kypvuIwBBD">
+      <node concept="7kypvuIwBBC" id="TE_00003" role="7kypvuIwEFD">
+        <node concept="7kypvuIwBCC" id="TE_00004" role="7kypvuIwBBD">
           <property role="TrG5h" value="float" />
         </node>
       </node>
     </node>
-    <node concept="k8se:7kypvuIwEFC" id="TE_00005" role="k8se:7kypvuIwECE">
+    <node concept="7kypvuIwEFC" id="TE_00005" role="7kypvuIwECE">
       <property role="TrG5h" value="E" />
-      <node concept="k8se:7kypvuIwBBC" id="TE_00006" role="k8se:7kypvuIwEFD">
-        <node concept="k8se:7kypvuIwBCC" id="TE_00007" role="k8se:7kypvuIwBBD">
+      <node concept="7kypvuIwBBC" id="TE_00006" role="7kypvuIwEFD">
+        <node concept="7kypvuIwBCC" id="TE_00007" role="7kypvuIwBBD">
           <property role="TrG5h" value="float" />
         </node>
       </node>
     </node>
-    <node concept="k8se:7kypvuIwEDC" id="TE_00008" role="k8se:7kypvuIwECF">
+    <node concept="7kypvuIwEDC" id="TE_00008" role="7kypvuIwECF">
       <property role="TrG5h" value="add" />
-      <node concept="k8se:7kypvuIwEEC" id="TE_00009" role="k8se:7kypvuIwEDE">
+      <node concept="7kypvuIwEEC" id="TE_00009" role="7kypvuIwEDE">
         <property role="TrG5h" value="a" />
-        <node concept="k8se:7kypvuIwBBC" id="TE_00010" role="k8se:7kypvuIwEDF">
-          <node concept="k8se:7kypvuIwBCC" id="TE_00011" role="k8se:7kypvuIwBBD">
+        <node concept="7kypvuIwBBC" id="TE_00010" role="7kypvuIwEDF">
+          <node concept="7kypvuIwBCC" id="TE_00011" role="7kypvuIwBBD">
             <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
-      <node concept="k8se:7kypvuIwEEC" id="TE_00012" role="k8se:7kypvuIwEDE">
+      <node concept="7kypvuIwEEC" id="TE_00012" role="7kypvuIwEDE">
         <property role="TrG5h" value="b" />
-        <node concept="k8se:7kypvuIwBBC" id="TE_00013" role="k8se:7kypvuIwEDF">
-          <node concept="k8se:7kypvuIwBCC" id="TE_00014" role="k8se:7kypvuIwBBD">
+        <node concept="7kypvuIwBBC" id="TE_00013" role="7kypvuIwEDF">
+          <node concept="7kypvuIwBCC" id="TE_00014" role="7kypvuIwBBD">
             <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
-      <node concept="k8se:7kypvuIwBBC" id="TE_00015" role="k8se:7kypvuIwEDH">
-        <node concept="k8se:7kypvuIwBCC" id="TE_00016" role="k8se:7kypvuIwBBD">
+      <node concept="7kypvuIwBBC" id="TE_00015" role="7kypvuIwEDH">
+        <node concept="7kypvuIwBCC" id="TE_00016" role="7kypvuIwBBD">
           <property role="TrG5h" value="int" />
         </node>
       </node>
-      <node concept="k8se:7kypvuIwDDD" id="TE_00017" role="k8se:7kypvuIwEDI">
-        <node concept="k8se:7kypvuIwDEC" id="TE_00018" role="k8se:7kypvuIwDDE">
+      <node concept="7kypvuIwDDD" id="TE_00017" role="7kypvuIwEDI">
+        <node concept="7kypvuIwDEC" id="TE_00018" role="7kypvuIwDDE">
           <property role="TrG5h" value="result" />
-          <node concept="k8se:7kypvuIwCIC" id="TE_00019" role="k8se:7kypvuIwDED">
-            <node concept="k8se:7kypvuIwCIC2" id="TE_00020" role="k8se:7kypvuIwCIE">
+          <node concept="7kypvuIwCIC" id="TE_00019" role="7kypvuIwDED">
+            <node concept="7kypvuIwCIC2" id="TE_00020" role="7kypvuIwCIE">
               <property role="TrG5h" value="+" />
-              <node concept="k8se:7kypvuIwCKC" id="TE_00021" role="k8se:7kypvuIwCIF">
+              <node concept="7kypvuIwCKC" id="TE_00021" role="7kypvuIwCIF">
                 <property role="TrG5h" value="a" />
               </node>
-              <node concept="k8se:7kypvuIwCKC" id="TE_00022" role="k8se:7kypvuIwCIG">
+              <node concept="7kypvuIwCKC" id="TE_00022" role="7kypvuIwCIG">
                 <property role="TrG5h" value="b" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="k8se:7kypvuIwDIC" id="TE_00023" role="k8se:7kypvuIwDDE">
-          <node concept="k8se:7kypvuIwCKC" id="TE_00024" role="k8se:7kypvuIwDID">
+        <node concept="7kypvuIwDIC" id="TE_00023" role="7kypvuIwDDE">
+          <node concept="7kypvuIwCKC" id="TE_00024" role="7kypvuIwDID">
             <property role="TrG5h" value="result" />
           </node>
         </node>
       </node>
     </node>
-    <node concept="k8se:7kypvuIwEDC" id="TE_00025" role="k8se:7kypvuIwECF">
+    <node concept="7kypvuIwEDC" id="TE_00025" role="7kypvuIwECF">
       <property role="TrG5h" value="isPositive" />
-      <node concept="k8se:7kypvuIwEEC" id="TE_00026" role="k8se:7kypvuIwEDE">
+      <node concept="7kypvuIwEEC" id="TE_00026" role="7kypvuIwEDE">
         <property role="TrG5h" value="value" />
-        <node concept="k8se:7kypvuIwBBC" id="TE_00027" role="k8se:7kypvuIwEDF">
-          <node concept="k8se:7kypvuIwBCC" id="TE_00028" role="k8se:7kypvuIwBBD">
+        <node concept="7kypvuIwBBC" id="TE_00027" role="7kypvuIwEDF">
+          <node concept="7kypvuIwBCC" id="TE_00028" role="7kypvuIwBBD">
             <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
-      <node concept="k8se:7kypvuIwBBC" id="TE_00029" role="k8se:7kypvuIwEDH">
-        <node concept="k8se:7kypvuIwBCC" id="TE_00030" role="k8se:7kypvuIwBBD">
+      <node concept="7kypvuIwBBC" id="TE_00029" role="7kypvuIwEDH">
+        <node concept="7kypvuIwBCC" id="TE_00030" role="7kypvuIwBBD">
           <property role="TrG5h" value="bool" />
         </node>
       </node>
-      <node concept="k8se:7kypvuIwDDD" id="TE_00031" role="k8se:7kypvuIwEDI">
-        <node concept="k8se:7kypvuIwDFC" id="TE_00032" role="k8se:7kypvuIwDDE">
-          <node concept="k8se:7kypvuIwCIC2" id="TE_00033" role="k8se:7kypvuIwDFD">
+      <node concept="7kypvuIwDDD" id="TE_00031" role="7kypvuIwEDI">
+        <node concept="7kypvuIwDFC" id="TE_00032" role="7kypvuIwDDE">
+          <node concept="7kypvuIwCIC2" id="TE_00033" role="7kypvuIwDFD">
             <property role="TrG5h" value=">" />
-            <node concept="k8se:7kypvuIwCKC" id="TE_00034" role="k8se:7kypvuIwCIF">
+            <node concept="7kypvuIwCKC" id="TE_00034" role="7kypvuIwCIF">
               <property role="TrG5h" value="value" />
             </node>
-            <node concept="k8se:7kypvuIwCDC" id="TE_00035" role="k8se:7kypvuIwCIG">
+            <node concept="7kypvuIwCDC" id="TE_00035" role="7kypvuIwCIG">
               <property role="TrG5h" value="0" />
             </node>
           </node>
-          <node concept="k8se:7kypvuIwDDD" id="TE_00036" role="k8se:7kypvuIwDFE">
-            <node concept="k8se:7kypvuIwDIC" id="TE_00037" role="k8se:7kypvuIwDDE">
-              <node concept="k8se:7kypvuIwCGC" id="TE_00038" role="k8se:7kypvuIwDID">
+          <node concept="7kypvuIwDDD" id="TE_00036" role="7kypvuIwDFE">
+            <node concept="7kypvuIwDIC" id="TE_00037" role="7kypvuIwDDE">
+              <node concept="7kypvuIwCGC" id="TE_00038" role="7kypvuIwDID">
                 <property role="TrG5h" value="true" />
               </node>
             </node>
           </node>
-          <node concept="k8se:7kypvuIwDDD" id="TE_00039" role="k8se:7kypvuIwDFF">
-            <node concept="k8se:7kypvuIwDIC" id="TE_00040" role="k8se:7kypvuIwDDE">
-              <node concept="k8se:7kypvuIwCGC" id="TE_00041" role="k8se:7kypvuIwDID">
+          <node concept="7kypvuIwDDD" id="TE_00039" role="7kypvuIwDFF">
+            <node concept="7kypvuIwDIC" id="TE_00040" role="7kypvuIwDDE">
+              <node concept="7kypvuIwCGC" id="TE_00041" role="7kypvuIwDID">
                 <property role="TrG5h" value="false" />
               </node>
             </node>
@@ -115,108 +115,108 @@
         </node>
       </node>
     </node>
-    <node concept="k8se:7kypvuIwEDC" id="TE_00042" role="k8se:7kypvuIwECF">
+    <node concept="7kypvuIwEDC" id="TE_00042" role="7kypvuIwECF">
       <property role="TrG5h" value="factorial" />
-      <node concept="k8se:7kypvuIwEEC" id="TE_00043" role="k8se:7kypvuIwEDE">
+      <node concept="7kypvuIwEEC" id="TE_00043" role="7kypvuIwEDE">
         <property role="TrG5h" value="n" />
-        <node concept="k8se:7kypvuIwBBC" id="TE_00044" role="k8se:7kypvuIwEDF">
-          <node concept="k8se:7kypvuIwBCC" id="TE_00045" role="k8se:7kypvuIwBBD">
+        <node concept="7kypvuIwBBC" id="TE_00044" role="7kypvuIwEDF">
+          <node concept="7kypvuIwBCC" id="TE_00045" role="7kypvuIwBBD">
             <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
-      <node concept="k8se:7kypvuIwBBC" id="TE_00046" role="k8se:7kypvuIwEDH">
-        <node concept="k8se:7kypvuIwBCC" id="TE_00047" role="k8se:7kypvuIwBBD">
+      <node concept="7kypvuIwBBC" id="TE_00046" role="7kypvuIwEDH">
+        <node concept="7kypvuIwBCC" id="TE_00047" role="7kypvuIwBBD">
           <property role="TrG5h" value="int" />
         </node>
       </node>
-      <node concept="k8se:7kypvuIwDDD" id="TE_00048" role="k8se:7kypvuIwEDI">
-        <node concept="k8se:7kypvuIwDFC" id="TE_00049" role="k8se:7kypvuIwDDE">
-          <node concept="k8se:7kypvuIwCIC2" id="TE_00050" role="k8se:7kypvuIwDFD">
+      <node concept="7kypvuIwDDD" id="TE_00048" role="7kypvuIwEDI">
+        <node concept="7kypvuIwDFC" id="TE_00049" role="7kypvuIwDDE">
+          <node concept="7kypvuIwCIC2" id="TE_00050" role="7kypvuIwDFD">
             <property role="TrG5h" value="<=" />
-            <node concept="k8se:7kypvuIwCKC" id="TE_00051" role="k8se:7kypvuIwCIF">
+            <node concept="7kypvuIwCKC" id="TE_00051" role="7kypvuIwCIF">
               <property role="TrG5h" value="n" />
             </node>
-            <node concept="k8se:7kypvuIwCDC" id="TE_00052" role="k8se:7kypvuIwCIG">
+            <node concept="7kypvuIwCDC" id="TE_00052" role="7kypvuIwCIG">
               <property role="TrG5h" value="1" />
             </node>
           </node>
-          <node concept="k8se:7kypvuIwDDD" id="TE_00053" role="k8se:7kypvuIwDFE">
-            <node concept="k8se:7kypvuIwDIC" id="TE_00054" role="k8se:7kypvuIwDDE">
-              <node concept="k8se:7kypvuIwCDC" id="TE_00055" role="k8se:7kypvuIwDID">
+          <node concept="7kypvuIwDDD" id="TE_00053" role="7kypvuIwDFE">
+            <node concept="7kypvuIwDIC" id="TE_00054" role="7kypvuIwDDE">
+              <node concept="7kypvuIwCDC" id="TE_00055" role="7kypvuIwDID">
                 <property role="TrG5h" value="1" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="k8se:7kypvuIwDGC" id="TE_00056" role="k8se:7kypvuIwDDE">
+        <node concept="7kypvuIwDGC" id="TE_00056" role="7kypvuIwDDE">
           <property role="TrG5h" value="i" />
-          <node concept="k8se:7kypvuIwCDC" id="TE_00057" role="k8se:7kypvuIwDGB">
+          <node concept="7kypvuIwCDC" id="TE_00057" role="7kypvuIwDGB">
             <property role="TrG5h" value="1" />
           </node>
-          <node concept="k8se:7kypvuIwCIC2" id="TE_00058" role="k8se:7kypvuIwDGC">
+          <node concept="7kypvuIwCIC2" id="TE_00058" role="7kypvuIwDGC">
             <property role="TrG5h" value="<" />
-            <node concept="k8se:7kypvuIwCKC" id="TE_00059" role="k8se:7kypvuIwCIF">
+            <node concept="7kypvuIwCKC" id="TE_00059" role="7kypvuIwCIF">
               <property role="TrG5h" value="i" />
             </node>
-            <node concept="k8se:7kypvuIwCKC" id="TE_00060" role="k8se:7kypvuIwCIG">
+            <node concept="7kypvuIwCKC" id="TE_00060" role="7kypvuIwCIG">
               <property role="TrG5h" value="n" />
             </node>
           </node>
-          <node concept="k8se:7kypvuIwDDD" id="TE_00061" role="k8se:7kypvuIwDGD">
-            <node concept="k8se:7kypvuIwDEC" id="TE_00062" role="k8se:7kypvuIwDDE">
+          <node concept="7kypvuIwDDD" id="TE_00061" role="7kypvuIwDGD">
+            <node concept="7kypvuIwDEC" id="TE_00062" role="7kypvuIwDDE">
               <property role="TrG5h" value="result" />
-              <node concept="k8se:7kypvuIwCIC2" id="TE_00063" role="k8se:7kypvuIwDED">
+              <node concept="7kypvuIwCIC2" id="TE_00063" role="7kypvuIwDED">
                 <property role="TrG5h" value="*" />
-                <node concept="k8se:7kypvuIwCKC" id="TE_00064" role="k8se:7kypvuIwCIF">
+                <node concept="7kypvuIwCKC" id="TE_00064" role="7kypvuIwCIF">
                   <property role="TrG5h" value="result" />
                 </node>
-                <node concept="k8se:7kypvuIwCKC" id="TE_00065" role="k8se:7kypvuIwCIG">
+                <node concept="7kypvuIwCKC" id="TE_00065" role="7kypvuIwCIG">
                   <property role="TrG5h" value="i" />
                 </node>
               </node>
             </node>
           </node>
         </node>
-        <node concept="k8se:7kypvuIwDIC" id="TE_00066" role="k8se:7kypvuIwDDE">
-          <node concept="k8se:7kypvuIwCKC" id="TE_00067" role="k8se:7kypvuIwDID">
+        <node concept="7kypvuIwDIC" id="TE_00066" role="7kypvuIwDDE">
+          <node concept="7kypvuIwCKC" id="TE_00067" role="7kypvuIwDID">
             <property role="TrG5h" value="result" />
           </node>
         </node>
       </node>
     </node>
-    <node concept="k8se:7kypvuIwEDC" id="TE_00068" role="k8se:7kypvuIwECF">
+    <node concept="7kypvuIwEDC" id="TE_00068" role="7kypvuIwECF">
       <property role="TrG5h" value="processArray" />
-      <node concept="k8se:7kypvuIwEEC" id="TE_00069" role="k8se:7kypvuIwEDE">
+      <node concept="7kypvuIwEEC" id="TE_00069" role="7kypvuIwEDE">
         <property role="TrG5h" value="items" />
-        <node concept="k8se:7kypvuIwBBC" id="TE_00070" role="k8se:7kypvuIwEDF">
-          <node concept="k8se:7kypvuIwBDC" id="TE_00071" role="k8se:7kypvuIwBBD">
-            <node concept="k8se:7kypvuIwBCC" id="TE_00072" role="k8se:7kypvuIwBDH">
+        <node concept="7kypvuIwBBC" id="TE_00070" role="7kypvuIwEDF">
+          <node concept="7kypvuIwBDC" id="TE_00071" role="7kypvuIwBBD">
+            <node concept="7kypvuIwBCC" id="TE_00072" role="7kypvuIwBDH">
               <property role="TrG5h" value="int" />
             </node>
           </node>
         </node>
       </node>
-      <node concept="k8se:7kypvuIwBBC" id="TE_00073" role="k8se:7kypvuIwEDH">
-        <node concept="k8se:7kypvuIwBCC" id="TE_00074" role="k8se:7kypvuIwBBD">
+      <node concept="7kypvuIwBBC" id="TE_00073" role="7kypvuIwEDH">
+        <node concept="7kypvuIwBCC" id="TE_00074" role="7kypvuIwBBD">
           <property role="TrG5h" value="void" />
         </node>
       </node>
-      <node concept="k8se:7kypvuIwDDD" id="TE_00075" role="k8se:7kypvuIwEDI">
-        <node concept="k8se:7kypvuIwDHC" id="TE_00076" role="k8se:7kypvuIwDDE">
+      <node concept="7kypvuIwDDD" id="TE_00075" role="7kypvuIwEDI">
+        <node concept="7kypvuIwDHC" id="TE_00076" role="7kypvuIwDDE">
           <property role="TrG5h" value="item" />
-          <node concept="k8se:7kypvuIwCKC" id="TE_00077" role="k8se:7kypvuIwDHE">
+          <node concept="7kypvuIwCKC" id="TE_00077" role="7kypvuIwDHE">
             <property role="TrG5h" value="items" />
           </node>
-          <node concept="k8se:7kypvuIwDDD" id="TE_00078" role="k8se:7kypvuIwDHF">
-            <node concept="k8se:7kypvuIwDEC" id="TE_00079" role="k8se:7kypvuIwDDE">
+          <node concept="7kypvuIwDDD" id="TE_00078" role="7kypvuIwDHF">
+            <node concept="7kypvuIwDEC" id="TE_00079" role="7kypvuIwDDE">
               <property role="TrG5h" value="squared" />
-              <node concept="k8se:7kypvuIwCIC2" id="TE_00080" role="k8se:7kypvuIwDED">
+              <node concept="7kypvuIwCIC2" id="TE_00080" role="7kypvuIwDED">
                 <property role="TrG5h" value="*" />
-                <node concept="k8se:7kypvuIwCKC" id="TE_00081" role="k8se:7kypvuIwCIF">
+                <node concept="7kypvuIwCKC" id="TE_00081" role="7kypvuIwCIF">
                   <property role="TrG5h" value="item" />
                 </node>
-                <node concept="k8se:7kypvuIwCKC" id="TE_00082" role="k8se:7kypvuIwCIG">
+                <node concept="7kypvuIwCKC" id="TE_00082" role="7kypvuIwCIG">
                   <property role="TrG5h" value="item" />
                 </node>
               </node>
@@ -225,25 +225,25 @@
         </node>
       </node>
     </node>
-    <node concept="k8se:7kypvuIwEDC" id="TE_00083" role="k8se:7kypvuIwECF">
+    <node concept="7kypvuIwEDC" id="TE_00083" role="7kypvuIwECF">
       <property role="TrG5h" value="createPoint" />
-      <node concept="k8se:7kypvuIwBBC" id="TE_00084" role="k8se:7kypvuIwEDH">
-        <node concept="k8se:7kypvuIwBEC" id="TE_00085" role="k8se:7kypvuIwBBD">
-          <node concept="k8se:7kypvuIwBCC" id="TE_00086" role="k8se:7kypvuIwBED">
+      <node concept="7kypvuIwBBC" id="TE_00084" role="7kypvuIwEDH">
+        <node concept="7kypvuIwBEC" id="TE_00085" role="7kypvuIwBBD">
+          <node concept="7kypvuIwBCC" id="TE_00086" role="7kypvuIwBED">
             <property role="TrG5h" value="int" />
           </node>
-          <node concept="k8se:7kypvuIwBCC" id="TE_00087" role="k8se:7kypvuIwBED">
+          <node concept="7kypvuIwBCC" id="TE_00087" role="7kypvuIwBED">
             <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
-      <node concept="k8se:7kypvuIwDDD" id="TE_00088" role="k8se:7kypvuIwEDI">
-        <node concept="k8se:7kypvuIwDIC" id="TE_00089" role="k8se:7kypvuIwDDE">
-          <node concept="k8se:7kypvuIwCMC" id="TE_00090" role="k8se:7kypvuIwDID">
-            <node concept="k8se:7kypvuIwCDC" id="TE_00091" role="k8se:7kypvuIwCMD">
+      <node concept="7kypvuIwDDD" id="TE_00088" role="7kypvuIwEDI">
+        <node concept="7kypvuIwDIC" id="TE_00089" role="7kypvuIwDDE">
+          <node concept="7kypvuIwCMC" id="TE_00090" role="7kypvuIwDID">
+            <node concept="7kypvuIwCDC" id="TE_00091" role="7kypvuIwCMD">
               <property role="TrG5h" value="10" />
             </node>
-            <node concept="k8se:7kypvuIwCDC" id="TE_00092" role="k8se:7kypvuIwCMD">
+            <node concept="7kypvuIwCDC" id="TE_00092" role="7kypvuIwCMD">
               <property role="TrG5h" value="20" />
             </node>
           </node>