From 8a2ab8d6140d194aa520c46bb30133fe8f75006b Mon Sep 17 00:00:00 2001
From: Bill <wholcombe@cnm.edu>
Date: Tue, 3 Feb 2026 21:09:26 -0700
Subject: [PATCH] Fix property indices in SimpleExample model

- Changed all property role="name" to role="TrG5h" (the registered index)
- Changed property role="operator" to role="TrG5h"
- Uses proper registry index instead of property name string

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

diff --git a/languages/SemAnno.sandbox/models/SimpleExample.mps b/languages/SemAnno.sandbox/models/SimpleExample.mps
index 3451bf3..99e7900 100644
--- a/languages/SemAnno.sandbox/models/SimpleExample.mps
+++ b/languages/SemAnno.sandbox/models/SimpleExample.mps
@@ -49,64 +49,64 @@
     </language>
   </registry>
   <node concept="2Ks9RF" id="TE_00001">
-    <property role="name" value="MathLibrary" />
+    <property role="TrG5h" value="MathLibrary" />
     <node concept="2KtM7O" id="TE_00002" role="YUdpP">
-      <property role="name" value="PI" />
+      <property role="TrG5h" value="PI" />
       <node concept="2KtL_8" id="TE_00003" role="YUdpP">
         <node concept="2KtL_I" id="TE_00004" role="YUdpP">
-          <property role="name" value="float" />
+          <property role="TrG5h" value="float" />
         </node>
       </node>
     </node>
     <node concept="2KtM7O" id="TE_00005" role="YUdpP">
-      <property role="name" value="E" />
+      <property role="TrG5h" value="E" />
       <node concept="2KtL_8" id="TE_00006" role="YUdpP">
         <node concept="2KtL_I" id="TE_00007" role="YUdpP">
-          <property role="name" value="float" />
+          <property role="TrG5h" value="float" />
         </node>
       </node>
     </node>
     <node concept="2Ks9S5" id="TE_00008" role="YUdpP">
-      <property role="name" value="add" />
+      <property role="TrG5h" value="add" />
       <node concept="2Ks9Tj" id="TE_00009" role="YUdpP">
-        <property role="name" value="a" />
+        <property role="TrG5h" value="a" />
         <node concept="2KtL_8" id="TE_00010" role="YUdpP">
           <node concept="2KtL_I" id="TE_00011" role="YUdpP">
-            <property role="name" value="int" />
+            <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
       <node concept="2Ks9Tj" id="TE_00012" role="YUdpP">
-        <property role="name" value="b" />
+        <property role="TrG5h" value="b" />
         <node concept="2KtL_8" id="TE_00013" role="YUdpP">
           <node concept="2KtL_I" id="TE_00014" role="YUdpP">
-            <property role="name" value="int" />
+            <property role="TrG5h" value="int" />
           </node>
         </node>
       </node>
       <node concept="2KtL_8" id="TE_00015" role="YUdpP">
         <node concept="2KtL_I" id="TE_00016" role="YUdpP">
-          <property role="name" value="int" />
+          <property role="TrG5h" value="int" />
         </node>
       </node>
       <node concept="2KtLg9" id="TE_00017" role="YUdpP">
         <node concept="2KtLgs" id="TE_00018" role="YUdpP">
-          <property role="name" value="result" />
+          <property role="TrG5h" value="result" />
           <node concept="2KtLkV" id="TE_00019" role="YUdpP">
             <node concept="2KtLkU" id="TE_00020" role="YUdpP">
-              <property role="operator" value="+" />
+              <property role="TrG5h" value="+" />
               <node concept="2KtLnB" id="TE_00021" role="YUdpP">
-                <property role="name" value="a" />
+                <property role="TrG5h" value="a" />
               </node>
               <node concept="2KtLnB" id="TE_00022" role="YUdpP">
-                <property role="name" value="b" />
+                <property role="TrG5h" value="b" />
               </node>
             </node>
           </node>
         </node>
         <node concept="2KtLkJ" id="TE_00023" role="YUdpP">
           <node concept="2KtLnB" id="TE_00024" role="YUdpP">
-            <property role="name" value="result" />
+            <property role="TrG5h" value="result" />
           </node>
         </node>
       </node>