Use effective members instead of members when sorting record values

Author: Alexander Pann

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/constraints.mps

@@ -2157,8 +2157,8 @@
                     <node concept="1xIGOp" id="3sWKo0E1pJ9" role="1xVPHs" />
                   </node>
                 </node>
-                <node concept="3Tsc0h" id="3sWKo0E1qSC" role="2OqNvi">
-                  <ref role="3TtcxE" to="yv47:xu7xcKioz5" resolve="members" />
+                <node concept="2qgKlT" id="4opGcINclsz" role="2OqNvi">
+                  <ref role="37wK5l" to="nu60:1qrYg08iahZ" resolve="effectiveMembers" />
                 </node>
               </node>
             </node>

code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/org/iets3/core/expr/toplevel/plugin.mps

@@ -1220,8 +1220,8 @@
                       <ref role="3cqZAo" node="7$ajNzjzZzN" resolve="recordDeclaration" />
                     </node>
                   </node>
-                  <node concept="3Tsc0h" id="7k6A8Wfyf4S" role="2OqNvi">
-                    <ref role="3TtcxE" to="yv47:xu7xcKioz5" resolve="members" />
+                  <node concept="2qgKlT" id="4opGcINciak" role="2OqNvi">
+                    <ref role="37wK5l" to="nu60:1qrYg08iahZ" resolve="effectiveMembers" />
                   </node>
                 </node>
               </node>