<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:dffc9856-a509-4dce-97d2-c5163d84b63b(jetbrains.mps.lang.smodelExt.test.types@tests)">
  <persistence version="9" />
  <languages>
    <use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="5" />
    <use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="1" />
    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
    <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
    <use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="5" />
  </languages>
  <imports>
    <import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
    <import index="6exd" ref="r:0f9b1fb3-00f9-4480-b235-1a906a087ab2(jetbrains.mps.logic.dataform)" />
    <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
    <import index="jxwi" ref="r:6ecd2c91-8e0b-4c6a-878e-d699a7336100(jetbrains.mps.lang.smodelExt.types)" />
    <import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" />
    <import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
    <import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.baseLanguageExt.types)" />
    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
    <import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
    <import index="tp25" ref="r:00000000-0000-4000-0000-011c89590301(jetbrains.mps.lang.smodel.structure)" />
    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
  </imports>
  <registry>
    <language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
      <concept id="1211979288880" name="jetbrains.mps.lang.test.structure.AssertMatch" flags="nn" index="JA50E">
        <child id="1211979305365" name="before" index="JA92f" />
        <child id="1211979322383" name="after" index="JAdkl" />
      </concept>
      <concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
        <property id="5097124989038916363" name="projectPath" index="2XOHcw" />
      </concept>
      <concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
        <child id="1216993439383" name="methods" index="1qtyYc" />
        <child id="1217501895093" name="testMethods" index="1SL9yI" />
      </concept>
      <concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
    </language>
    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
      <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
      <concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
        <reference id="2820489544401957798" name="classifier" index="HV5vE" />
      </concept>
      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
        <child id="1197027771414" name="operand" index="2Oq$k0" />
        <child id="1197027833540" name="operation" index="2OqNvi" />
      </concept>
      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
        <child id="1145553007750" name="creator" index="2ShVmc" />
      </concept>
      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
        <property id="1070475926801" name="value" index="Xl_RC" />
      </concept>
      <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
      </concept>
      <concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
        <child id="1164991057263" name="throwable" index="YScLw" />
      </concept>
      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
        <child id="1068431790190" name="initializer" index="33vP2m" />
      </concept>
      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
      </concept>
      <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
        <child id="5680397130376446158" name="type" index="1tU5fm" />
      </concept>
      <concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
        <child id="1068580123133" name="returnType" index="3clF45" />
        <child id="1068580123134" name="parameter" index="3clF46" />
        <child id="1068580123135" name="body" index="3clF47" />
      </concept>
      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
        <child id="1068580123156" name="expression" index="3clFbG" />
      </concept>
      <concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
        <child id="1068581517665" name="statement" index="3cqZAp" />
      </concept>
      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
        <property id="1068580320021" name="value" index="3cmrfH" />
      </concept>
      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
        <child id="1068581517676" name="expression" index="3cqZAk" />
      </concept>
      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
      </concept>
      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
      <concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
        <child id="1068499141038" name="actualArgument" index="37wK5m" />
      </concept>
      <concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
      <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
        <reference id="1107535924139" name="classifier" index="3uigEE" />
        <child id="1109201940907" name="parameter" index="11_B2D" />
      </concept>
      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
      </concept>
    </language>
    <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
      <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
        <child id="1199569906740" name="parameter" index="1bW2Oz" />
        <child id="1199569916463" name="body" index="1bW5cS" />
      </concept>
    </language>
    <language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
      <concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
      <concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
        <reference id="1205756909548" name="member" index="2WH_rO" />
      </concept>
      <concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
      <concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
        <child id="1205770614681" name="actualArgument" index="2XxRq1" />
      </concept>
    </language>
    <language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
      <concept id="1171981022339" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertTrue" flags="nn" index="3vwNmj">
        <child id="1171981057159" name="condition" index="3vwVQn" />
      </concept>
      <concept id="1172073500303" name="jetbrains.mps.baseLanguage.unitTest.structure.Message" flags="ng" index="3_1$Yv">
        <child id="1172073511101" name="message" index="3_1BAH" />
      </concept>
      <concept id="1172075514136" name="jetbrains.mps.baseLanguage.unitTest.structure.MessageHolder" flags="ng" index="3_9gw8">
        <child id="1172075534298" name="message" index="3_9lra" />
      </concept>
    </language>
    <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
      <concept id="238586457668550951" name="jetbrains.mps.logic.structure.Splice" flags="ng" index="22Ky0T">
        <child id="238586457668550958" name="expression" index="22Ky0K" />
      </concept>
      <concept id="7571593955706120730" name="jetbrains.mps.logic.structure.DataNodeExpression" flags="ng" index="1oi1Uc">
        <child id="7571593955706125526" name="root" index="1oi0x0" />
      </concept>
      <concept id="7571593955706137125" name="jetbrains.mps.logic.structure.TermNode" flags="ng" index="1oi5UN">
        <child id="7571593955706284441" name="role" index="1ojpOf" />
      </concept>
      <concept id="7571593955706137472" name="jetbrains.mps.logic.structure.ValueRole" flags="ng" index="1oi5Wm">
        <child id="7571593955706137672" name="contents" index="1oi5zu" />
      </concept>
      <concept id="7571593955706137573" name="jetbrains.mps.logic.structure.Value" flags="ng" index="1oi5XN">
        <property id="7571593955706137638" name="value" index="1oi5yK" />
      </concept>
    </language>
    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
      </concept>
      <concept id="7453996997717780434" name="jetbrains.mps.lang.smodel.structure.Node_GetSConceptOperation" flags="nn" index="2yIwOk" />
      <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
        <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
        <child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
      </concept>
      <concept id="1154546950173" name="jetbrains.mps.lang.smodel.structure.ConceptReference" flags="ng" index="3gn64h">
        <reference id="1154546997487" name="concept" index="3gnhBz" />
      </concept>
      <concept id="5944356402132808749" name="jetbrains.mps.lang.smodel.structure.ConceptSwitchStatement" flags="nn" index="1_3QMa">
        <child id="6039268229365417680" name="defaultBlock" index="1prKM_" />
        <child id="5944356402132808753" name="case" index="1_3QMm" />
        <child id="5944356402132808752" name="expression" index="1_3QMn" />
      </concept>
      <concept id="5944356402132808754" name="jetbrains.mps.lang.smodel.structure.SubconceptCase" flags="ng" index="1_3QMl">
        <child id="1163670677455" name="concept" index="3Kbmr1" />
        <child id="1163670683720" name="body" index="3Kbo56" />
      </concept>
      <concept id="1219352745532" name="jetbrains.mps.lang.smodel.structure.NodeRefExpression" flags="nn" index="3B5_sB">
        <reference id="1219352800908" name="referentNode" index="3B5MYn" />
      </concept>
      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
        <reference id="1138405853777" name="concept" index="ehGHo" />
      </concept>
      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
        <reference id="1138056395725" name="property" index="3TsBF5" />
      </concept>
    </language>
    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
        <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
      </concept>
      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
        <property id="1169194664001" name="name" index="TrG5h" />
      </concept>
    </language>
    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
      <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
        <child id="1204796294226" name="closure" index="23t8la" />
      </concept>
      <concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
      <concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
        <child id="1151689745422" name="elementType" index="A3Ik2" />
      </concept>
      <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
      <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
      <concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
      <concept id="1184963466173" name="jetbrains.mps.baseLanguage.collections.structure.ToArrayOperation" flags="nn" index="3_kTaI" />
    </language>
  </registry>
  <node concept="2XOHcx" id="4E290qQ07Wm">
    <property role="2XOHcw" value="${mpscore_home}" />
  </node>
  <node concept="1lH9Xt" id="5OjpQKw1RJ$">
    <property role="TrG5h" value="Hierarchy" />
    <node concept="1LZb2c" id="5OjpQKvXTYY" role="1SL9yI">
      <property role="TrG5h" value="hierarchy" />
      <node concept="3cqZAl" id="5OjpQKvXTYZ" role="3clF45" />
      <node concept="3clFbS" id="5OjpQKvXTZ3" role="3clF47">
        <node concept="3cpWs8" id="5OjpQKvZtTY" role="3cqZAp">
          <node concept="3cpWsn" id="5OjpQKvZtTZ" role="3cpWs9">
            <property role="TrG5h" value="g" />
            <node concept="3uibUv" id="5OjpQKvXW2q" role="1tU5fm">
              <ref role="3uigEE" to="jxwi:3bgqfmmLGhj" resolve="ConceptHierarchyGraph" />
            </node>
            <node concept="2YIFZM" id="5OjpQKvZtU0" role="33vP2m">
              <ref role="37wK5l" to="jxwi:3bgqfmmMBWt" resolve="defaultGraph" />
              <ref role="1Pybhc" to="jxwi:3bgqfmmLWgA" resolve="ConceptHierarchy" />
            </node>
          </node>
        </node>
        <node concept="3cpWs8" id="5OjpQKvZJmu" role="3cqZAp">
          <node concept="3cpWsn" id="5OjpQKvZJmv" role="3cpWs9">
            <property role="TrG5h" value="a" />
            <node concept="3uibUv" id="5OjpQKw47fI" role="1tU5fm">
              <ref role="3uigEE" to="jxwi:3bgqfmmLIge" resolve="ConceptHierarchyGraph.Vertex" />
            </node>
            <node concept="2OqwBi" id="5OjpQKvZJmw" role="33vP2m">
              <node concept="37vLTw" id="5OjpQKvZJmx" role="2Oq$k0">
                <ref role="3cqZAo" node="5OjpQKvZtTZ" resolve="g" />
              </node>
              <node concept="liA8E" id="5OjpQKvZJmy" role="2OqNvi">
                <ref role="37wK5l" to="jxwi:5OjpQKw2l7T" resolve="buildVertex" />
                <node concept="3B5_sB" id="6$6scRbVXKj" role="37wK5m">
                  <ref role="3B5MYn" to="tpee:fIYIFWa" resolve="StaticMethodDeclaration" />
                </node>
              </node>
            </node>
          </node>
        </node>
        <node concept="3cpWs8" id="5OjpQKvZMfb" role="3cqZAp">
          <node concept="3cpWsn" id="5OjpQKvZMfc" role="3cpWs9">
            <property role="TrG5h" value="b" />
            <node concept="2OqwBi" id="5OjpQKvZMff" role="33vP2m">
              <node concept="37vLTw" id="5OjpQKvZMfg" role="2Oq$k0">
                <ref role="3cqZAo" node="5OjpQKvZtTZ" resolve="g" />
              </node>
              <node concept="liA8E" id="5OjpQKvZMfh" role="2OqNvi">
                <ref role="37wK5l" to="jxwi:5OjpQKw2l7T" resolve="buildVertex" />
                <node concept="3B5_sB" id="6$6scRbW1f3" role="37wK5m">
                  <ref role="3B5MYn" to="tpee:fz12cDA" resolve="ClassConcept" />
                </node>
              </node>
            </node>
            <node concept="3uibUv" id="5OjpQKw47Wv" role="1tU5fm">
              <ref role="3uigEE" to="jxwi:3bgqfmmLIge" resolve="ConceptHierarchyGraph.Vertex" />
            </node>
          </node>
        </node>
        <node concept="3clFbH" id="5OjpQKwiB_b" role="3cqZAp" />
        <node concept="3cpWs8" id="6$6scRbR64U" role="3cqZAp">
          <node concept="3cpWsn" id="6$6scRbR64V" role="3cpWs9">
            <property role="TrG5h" value="mv" />
            <node concept="3uibUv" id="6$6scRbR5YL" role="1tU5fm">
              <ref role="3uigEE" to="kqnc:6$6scRbYVea" resolve="HierarchyGraph.Vtx" />
              <node concept="3Tqbb2" id="6$6scRbR5YO" role="11_B2D">
                <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
              </node>
            </node>
            <node concept="2OqwBi" id="6$6scRbR64W" role="33vP2m">
              <node concept="37vLTw" id="6$6scRbR64X" role="2Oq$k0">
                <ref role="3cqZAo" node="5OjpQKvZtTZ" resolve="g" />
              </node>
              <node concept="liA8E" id="6$6scRbR64Y" role="2OqNvi">
                <ref role="37wK5l" to="kqnc:6$6scRbNe_w" resolve="buildLubVertex" />
                <node concept="2OqwBi" id="6$6scRbR64Z" role="37wK5m">
                  <node concept="2WthIp" id="6$6scRbR650" role="2Oq$k0" />
                  <node concept="2XshWL" id="6$6scRbR651" role="2OqNvi">
                    <ref role="2WH_rO" node="4JBuioGUR2o" resolve="toInstVertex" />
                    <node concept="37vLTw" id="6$6scRbR652" role="2XxRq1">
                      <ref role="3cqZAo" node="5OjpQKvZJmv" resolve="a" />
                    </node>
                  </node>
                </node>
                <node concept="2OqwBi" id="6$6scRbR653" role="37wK5m">
                  <node concept="2WthIp" id="6$6scRbR654" role="2Oq$k0" />
                  <node concept="2XshWL" id="6$6scRbR655" role="2OqNvi">
                    <ref role="2WH_rO" node="4JBuioGUR2o" resolve="toInstVertex" />
                    <node concept="37vLTw" id="6$6scRbR656" role="2XxRq1">
                      <ref role="3cqZAo" node="5OjpQKvZMfc" resolve="b" />
                    </node>
                  </node>
                </node>
              </node>
            </node>
          </node>
        </node>
        <node concept="3cpWs8" id="6$6scRbRvyB" role="3cqZAp">
          <node concept="3cpWsn" id="6$6scRbRvyC" role="3cpWs9">
            <property role="TrG5h" value="path" />
            <node concept="3uibUv" id="6$6scRc1Bbu" role="1tU5fm">
              <ref role="3uigEE" to="kqnc:6$6scRbYbqY" resolve="HierarchyGraph.Path" />
              <node concept="3Tqbb2" id="6$6scRc1C7Q" role="11_B2D">
                <ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
              </node>
            </node>
            <node concept="2OqwBi" id="6$6scRbRvyD" role="33vP2m">
              <node concept="2OqwBi" id="6$6scRbRvyE" role="2Oq$k0">
                <node concept="37vLTw" id="6$6scRbRvyF" role="2Oq$k0">
                  <ref role="3cqZAo" node="6$6scRbR64V" resolve="mv" />
                </node>
                <node concept="liA8E" id="6$6scRbRvyG" role="2OqNvi">
                  <ref role="37wK5l" to="kqnc:6$6scRbZ8lq" resolve="iteratePaths" />
                </node>
              </node>
              <node concept="1uHKPH" id="6$6scRbRvyH" role="2OqNvi" />
            </node>
          </node>
        </node>
        <node concept="JA50E" id="6$6scRbT4F9" role="3cqZAp">
          <node concept="2OqwBi" id="6$6scRbT5HO" role="JAdkl">
            <node concept="2OqwBi" id="6$6scRbT5HP" role="2Oq$k0">
              <node concept="37vLTw" id="6$6scRbT5HQ" role="2Oq$k0">
                <ref role="3cqZAo" node="6$6scRbRvyC" resolve="path" />
              </node>
              <node concept="liA8E" id="6$6scRc0Ypn" role="2OqNvi">
                <ref role="37wK5l" to="kqnc:6$6scRbYuZ5" resolve="iterate" />
              </node>
            </node>
            <node concept="1uHKPH" id="6$6scRbT5HS" role="2OqNvi" />
          </node>
          <node concept="3B5_sB" id="6$6scRbW511" role="JA92f">
            <ref role="3B5MYn" to="tpee:g96eOhU" resolve="GenericDeclaration" />
          </node>
        </node>
        <node concept="3clFbH" id="6$6scRbR3dN" role="3cqZAp" />
        <node concept="3cpWs8" id="5OjpQKvZO1D" role="3cqZAp">
          <node concept="3cpWsn" id="5OjpQKvZO1E" role="3cpWs9">
            <property role="TrG5h" value="lub" />
            <node concept="3uibUv" id="5OjpQKvZO0t" role="1tU5fm">
              <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
            </node>
            <node concept="2OqwBi" id="5OjpQKvZO1F" role="33vP2m">
              <node concept="37vLTw" id="5OjpQKvZO1G" role="2Oq$k0">
                <ref role="3cqZAo" node="5OjpQKvZtTZ" resolve="g" />
              </node>
              <node concept="liA8E" id="5OjpQKvZO1H" role="2OqNvi">
                <ref role="37wK5l" to="kqnc:4JBuioGg$$g" resolve="buildLub" />
                <node concept="2OqwBi" id="5OjpQKw2gYt" role="37wK5m">
                  <node concept="2WthIp" id="5OjpQKw2gYw" role="2Oq$k0" />
                  <node concept="2XshWL" id="5OjpQKw2gYy" role="2OqNvi">
                    <ref role="2WH_rO" node="4JBuioGUR2o" resolve="toInstVertex" />
                    <node concept="37vLTw" id="5OjpQKw2hjx" role="2XxRq1">
                      <ref role="3cqZAo" node="5OjpQKvZJmv" resolve="a" />
                    </node>
                  </node>
                </node>
                <node concept="2OqwBi" id="5OjpQKw2hPI" role="37wK5m">
                  <node concept="2WthIp" id="5OjpQKw2hPL" role="2Oq$k0" />
                  <node concept="2XshWL" id="5OjpQKw2hPN" role="2OqNvi">
                    <ref role="2WH_rO" node="4JBuioGUR2o" resolve="toInstVertex" />
                    <node concept="37vLTw" id="5OjpQKw2i4_" role="2XxRq1">
                      <ref role="3cqZAo" node="5OjpQKvZMfc" resolve="b" />
                    </node>
                  </node>
                </node>
              </node>
            </node>
          </node>
        </node>
        <node concept="3cpWs8" id="5OjpQKwimgA" role="3cqZAp">
          <node concept="3cpWsn" id="5OjpQKwimgB" role="3cpWs9">
            <property role="TrG5h" value="firstpair" />
            <node concept="3uibUv" id="5OjpQKwimgC" role="1tU5fm">
              <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
            </node>
            <node concept="2OqwBi" id="5OjpQKwimgD" role="33vP2m">
              <node concept="2YIFZM" id="5OjpQKwimgE" role="2Oq$k0">
                <ref role="37wK5l" to="kqnc:3KV3FXjZXXV" resolve="getListContents" />
                <ref role="1Pybhc" to="kqnc:1qY0I4b_aeY" resolve="ListUtil" />
                <node concept="37vLTw" id="5OjpQKwimgF" role="37wK5m">
                  <ref role="3cqZAo" node="5OjpQKvZO1E" resolve="lub" />
                </node>
              </node>
              <node concept="liA8E" id="5OjpQKwimgG" role="2OqNvi">
                <ref role="37wK5l" to="33ny:~List.get(int)" resolve="get" />
                <node concept="3cmrfG" id="5OjpQKwimgH" role="37wK5m">
                  <property role="3cmrfH" value="0" />
                </node>
              </node>
            </node>
          </node>
        </node>
        <node concept="3clFbH" id="5OjpQKwi4SN" role="3cqZAp" />
        <node concept="3clFbF" id="5OjpQKwix5s" role="3cqZAp">
          <node concept="2OqwBi" id="5OjpQKwix5m" role="3clFbG">
            <node concept="2WthIp" id="5OjpQKwix5p" role="2Oq$k0" />
            <node concept="2XshWL" id="5OjpQKwix5r" role="2OqNvi">
              <ref role="2WH_rO" node="4JBuioGU$7Z" resolve="assertCanUnify" />
              <node concept="2OqwBi" id="5OjpQKwiyYi" role="2XxRq1">
                <node concept="2WthIp" id="5OjpQKwiyYl" role="2Oq$k0" />
                <node concept="2XshWL" id="5OjpQKwiyYn" role="2OqNvi">
                  <ref role="2WH_rO" node="4JBuioGUNfv" resolve="nodeAsTerm" />
                  <node concept="3B5_sB" id="6$6scRbWUpc" role="2XxRq1">
                    <ref role="3B5MYn" to="tpee:g96eOhU" resolve="GenericDeclaration" />
                  </node>
                </node>
              </node>
              <node concept="2OqwBi" id="5OjpQKwizAF" role="2XxRq1">
                <node concept="2YIFZM" id="5OjpQKwizAG" role="2Oq$k0">
                  <ref role="1Pybhc" to="kqnc:1qY0I4b_aeY" resolve="ListUtil" />
                  <ref role="37wK5l" to="kqnc:3KV3FXjZXXV" resolve="getListContents" />
                  <node concept="37vLTw" id="5OjpQKwizW5" role="37wK5m">
                    <ref role="3cqZAo" node="5OjpQKwimgB" resolve="firstpair" />
                  </node>
                </node>
                <node concept="liA8E" id="5OjpQKwizAI" role="2OqNvi">
                  <ref role="37wK5l" to="33ny:~List.get(int)" resolve="get" />
                  <node concept="3cmrfG" id="5OjpQKwizAJ" role="37wK5m">
                    <property role="3cmrfH" value="0" />
                  </node>
                </node>
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2XrIbr" id="4JBuioGUNfv" role="1qtyYc">
      <property role="TrG5h" value="nodeAsTerm" />
      <node concept="37vLTG" id="4JBuioGUNfw" role="3clF46">
        <property role="TrG5h" value="node" />
        <node concept="3Tqbb2" id="4JBuioGUNfx" role="1tU5fm" />
      </node>
      <node concept="3uibUv" id="4JBuioGUNfy" role="3clF45">
        <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
      </node>
      <node concept="3clFbS" id="4JBuioGUNfz" role="3clF47">
        <node concept="1_3QMa" id="3bgqfmmjBfj" role="3cqZAp">
          <node concept="1_3QMl" id="6$6scRbWtG2" role="1_3QMm">
            <node concept="3gn64h" id="6$6scRbWuen" role="3Kbmr1">
              <ref role="3gnhBz" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
            </node>
            <node concept="3clFbS" id="6$6scRbWtG6" role="3Kbo56">
              <node concept="3cpWs6" id="3bgqfmmjC9A" role="3cqZAp">
                <node concept="1oi1Uc" id="3bgqfmmjC9B" role="3cqZAk">
                  <node concept="1oi5UN" id="3bgqfmmjC9C" role="1oi0x0">
                    <node concept="1oi5Wm" id="3bgqfmmjC9D" role="1ojpOf">
                      <property role="TrG5h" value="concept" />
                      <node concept="1oi5XN" id="3bgqfmmjC9E" role="1oi5zu">
                        <property role="1oi5yK" value="ConceptDeclaration" />
                      </node>
                    </node>
                    <node concept="1oi5Wm" id="3bgqfmmjC9F" role="1ojpOf">
                      <property role="TrG5h" value="concept" />
                      <node concept="1oi5XN" id="3bgqfmmjC9G" role="1oi5zu">
                        <property role="1oi5yK" value="Serializable" />
                        <node concept="22Ky0T" id="3bgqfmmjC9H" role="lGtFl">
                          <node concept="2OqwBi" id="3bgqfmmjC9I" role="22Ky0K">
                            <node concept="1PxgMI" id="3bgqfmmklai" role="2Oq$k0">
                              <node concept="chp4Y" id="6$6scRbW_8q" role="3oSUPX">
                                <ref role="cht4Q" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
                              </node>
                              <node concept="37vLTw" id="3bgqfmmjC9K" role="1m5AlR">
                                <ref role="3cqZAo" node="4JBuioGUNfw" resolve="node" />
                              </node>
                            </node>
                            <node concept="3TrcHB" id="5OjpQKw5Xdk" role="2OqNvi">
                              <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
                            </node>
                          </node>
                        </node>
                      </node>
                    </node>
                  </node>
                </node>
              </node>
            </node>
          </node>
          <node concept="2OqwBi" id="3bgqfmmjBvx" role="1_3QMn">
            <node concept="37vLTw" id="3bgqfmmjBl7" role="2Oq$k0">
              <ref role="3cqZAo" node="4JBuioGUNfw" resolve="node" />
            </node>
            <node concept="2yIwOk" id="3bgqfmmjBMF" role="2OqNvi" />
          </node>
          <node concept="3clFbS" id="3bgqfmmjI1K" role="1prKM_">
            <node concept="YS8fn" id="3bgqfmmjI1I" role="3cqZAp">
              <node concept="2ShNRf" id="3bgqfmmjIz5" role="YScLw">
                <node concept="1pGfFk" id="3bgqfmmjJ1P" role="2ShVmc">
                  <ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.String)" resolve="RuntimeException" />
                  <node concept="3cpWs3" id="3bgqfmmjJyj" role="37wK5m">
                    <node concept="2OqwBi" id="3bgqfmmjKux" role="3uHU7w">
                      <node concept="2OqwBi" id="3bgqfmmjJRs" role="2Oq$k0">
                        <node concept="37vLTw" id="3bgqfmmjJBz" role="2Oq$k0">
                          <ref role="3cqZAo" node="4JBuioGUNfw" resolve="node" />
                        </node>
                        <node concept="2yIwOk" id="3bgqfmmjKaS" role="2OqNvi" />
                      </node>
                      <node concept="liA8E" id="3bgqfmmjKXj" role="2OqNvi">
                        <ref role="37wK5l" to="c17a:~SAbstractConcept.getName()" resolve="getName" />
                      </node>
                    </node>
                    <node concept="Xl_RD" id="3bgqfmmjJ3$" role="3uHU7B">
                      <property role="Xl_RC" value="not supported: " />
                    </node>
                  </node>
                </node>
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node concept="2XrIbr" id="4JBuioGUR2o" role="1qtyYc">
      <property role="TrG5h" value="toInstVertex" />
      <node concept="37vLTG" id="4JBuioGUR2r" role="3clF46">
        <property role="TrG5h" value="v" />
        <node concept="3uibUv" id="5OjpQKw1YPy" role="1tU5fm">
          <ref role="3uigEE" to="jxwi:3bgqfmmLIge" resolve="ConceptHierarchyGraph.Vertex" />
        </node>
      </node>
      <node concept="3clFbS" id="4JBuioGUR2t" role="3clF47">
        <node concept="3cpWs8" id="4JBuioGUR2u" role="3cqZAp">
          <node concept="3cpWsn" id="4JBuioGUR2v" role="3cpWs9">
            <property role="TrG5h" value="tv" />
            <node concept="3uibUv" id="5OjpQKw20$D" role="1tU5fm">
              <ref role="3uigEE" to="jxwi:3bgqfmmLIYa" resolve="ConceptHierarchyGraph.InstVertex" />
            </node>
            <node concept="2OqwBi" id="3bgqfmmGjKa" role="33vP2m">
              <node concept="37vLTw" id="3bgqfmmGiD1" role="2Oq$k0">
                <ref role="3cqZAo" node="4JBuioGUR2r" resolve="v" />
              </node>
              <node concept="liA8E" id="5OjpQKw219a" role="2OqNvi">
                <ref role="37wK5l" to="jxwi:3bgqfmmLTWX" resolve="instatiate" />
              </node>
            </node>
          </node>
        </node>
        <node concept="3clFbF" id="3bgqfmm8r03" role="3cqZAp">
          <node concept="2OqwBi" id="3bgqfmm8r04" role="3clFbG">
            <node concept="2OqwBi" id="3bgqfmm8r05" role="2Oq$k0">
              <node concept="37vLTw" id="3bgqfmm8r06" role="2Oq$k0">
                <ref role="3cqZAo" node="4JBuioGUR2r" resolve="v" />
              </node>
              <node concept="liA8E" id="z9rjE$OTi4" role="2OqNvi">
                <ref role="37wK5l" to="kqnc:z9rjE$IDpU" resolve="iteratePaths" />
              </node>
            </node>
            <node concept="2es0OD" id="3bgqfmm8r08" role="2OqNvi">
              <node concept="1bVj0M" id="3bgqfmm8r09" role="23t8la">
                <node concept="3clFbS" id="3bgqfmm8r0a" role="1bW5cS">
                  <node concept="3cpWs8" id="3bgqfmm8r0b" role="3cqZAp">
                    <node concept="3cpWsn" id="3bgqfmm8r0c" role="3cpWs9">
                      <property role="TrG5h" value="terms" />
                      <node concept="A3Dl8" id="3bgqfmm8r0d" role="1tU5fm">
                        <node concept="3uibUv" id="3bgqfmm8r0e" role="A3Ik2">
                          <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
                        </node>
                      </node>
                      <node concept="2OqwBi" id="3bgqfmm8r0f" role="33vP2m">
                        <node concept="2OqwBi" id="z9rjE$OTGy" role="2Oq$k0">
                          <node concept="37vLTw" id="3bgqfmm8r0g" role="2Oq$k0">
                            <ref role="3cqZAo" node="3bgqfmm8r0_" resolve="p" />
                          </node>
                          <node concept="liA8E" id="z9rjE$OUrt" role="2OqNvi">
                            <ref role="37wK5l" to="kqnc:6$6scRbYuZ5" resolve="iterate" />
                          </node>
                        </node>
                        <node concept="3$u5V9" id="3bgqfmm8r0h" role="2OqNvi">
                          <node concept="1bVj0M" id="3bgqfmm8r0i" role="23t8la">
                            <node concept="3clFbS" id="3bgqfmm8r0j" role="1bW5cS">
                              <node concept="3clFbF" id="3bgqfmm8r0k" role="3cqZAp">
                                <node concept="2OqwBi" id="3bgqfmm8r0l" role="3clFbG">
                                  <node concept="2WthIp" id="3bgqfmm8r0m" role="2Oq$k0" />
                                  <node concept="2XshWL" id="3bgqfmm8r0n" role="2OqNvi">
                                    <ref role="2WH_rO" node="4JBuioGUNfv" resolve="nodeAsTerm" />
                                    <node concept="37vLTw" id="3bgqfmm8r0o" role="2XxRq1">
                                      <ref role="3cqZAo" node="3bgqfmm8r0p" resolve="it" />
                                    </node>
                                  </node>
                                </node>
                              </node>
                            </node>
                            <node concept="Rh6nW" id="3bgqfmm8r0p" role="1bW2Oz">
                              <property role="TrG5h" value="it" />
                              <node concept="2jxLKc" id="3bgqfmm8r0q" role="1tU5fm" />
                            </node>
                          </node>
                        </node>
                      </node>
                    </node>
                  </node>
                  <node concept="3clFbF" id="3bgqfmm8r0r" role="3cqZAp">
                    <node concept="2OqwBi" id="3bgqfmm8r0s" role="3clFbG">
                      <node concept="37vLTw" id="3bgqfmm8r0t" role="2Oq$k0">
                        <ref role="3cqZAo" node="4JBuioGUR2v" resolve="tv" />
                      </node>
                      <node concept="liA8E" id="3bgqfmm8r0u" role="2OqNvi">
                        <ref role="37wK5l" to="kqnc:3bgqfmm0H0x" resolve="addTermPath" />
                        <node concept="37vLTw" id="3bgqfmm8r0v" role="37wK5m">
                          <ref role="3cqZAo" node="3bgqfmm8r0_" resolve="p" />
                        </node>
                        <node concept="2YIFZM" id="3bgqfmm8r0w" role="37wK5m">
                          <ref role="37wK5l" to="6exd:1OShD0HS45f" resolve="createList" />
                          <ref role="1Pybhc" to="6exd:3OPtF03lco4" resolve="ListNode" />
                          <node concept="2OqwBi" id="3bgqfmm8r0x" role="37wK5m">
                            <node concept="37vLTw" id="3bgqfmm8r0y" role="2Oq$k0">
                              <ref role="3cqZAo" node="3bgqfmm8r0c" resolve="terms" />
                            </node>
                            <node concept="3_kTaI" id="3bgqfmm8r0z" role="2OqNvi" />
                          </node>
                        </node>
                      </node>
                    </node>
                  </node>
                  <node concept="3clFbH" id="3bgqfmm8r0$" role="3cqZAp" />
                </node>
                <node concept="Rh6nW" id="3bgqfmm8r0_" role="1bW2Oz">
                  <property role="TrG5h" value="p" />
                  <node concept="2jxLKc" id="3bgqfmm8r0A" role="1tU5fm" />
                </node>
              </node>
            </node>
          </node>
        </node>
        <node concept="3clFbF" id="4JBuioGUR3a" role="3cqZAp">
          <node concept="37vLTw" id="4JBuioGUR3b" role="3clFbG">
            <ref role="3cqZAo" node="4JBuioGUR2v" resolve="tv" />
          </node>
        </node>
      </node>
      <node concept="3uibUv" id="5OjpQKw1Yu8" role="3clF45">
        <ref role="3uigEE" to="jxwi:3bgqfmmLIYa" resolve="ConceptHierarchyGraph.InstVertex" />
      </node>
    </node>
    <node concept="2XrIbr" id="4JBuioGU$7Z" role="1qtyYc">
      <property role="TrG5h" value="assertCanUnify" />
      <node concept="37vLTG" id="4JBuioGU$80" role="3clF46">
        <property role="TrG5h" value="expect" />
        <node concept="3uibUv" id="4JBuioGU$81" role="1tU5fm">
          <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
        </node>
      </node>
      <node concept="37vLTG" id="4JBuioGU$82" role="3clF46">
        <property role="TrG5h" value="actual" />
        <node concept="3uibUv" id="4JBuioGU$83" role="1tU5fm">
          <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
        </node>
      </node>
      <node concept="3cqZAl" id="4JBuioGU$84" role="3clF45" />
      <node concept="3clFbS" id="4JBuioGU$85" role="3clF47">
        <node concept="3vwNmj" id="4JBuioGU$86" role="3cqZAp">
          <node concept="2OqwBi" id="4JBuioGU$87" role="3vwVQn">
            <node concept="2ShNRf" id="4JBuioGU$88" role="2Oq$k0">
              <node concept="HV5vD" id="4JBuioGU$89" role="2ShVmc">
                <ref role="HV5vE" to="kqnc:74XSvywgVYJ" resolve="HierarchyGraph.UniSolver" />
              </node>
            </node>
            <node concept="liA8E" id="4JBuioGU$8a" role="2OqNvi">
              <ref role="37wK5l" to="kqnc:74XSvywgVYL" resolve="canUnify" />
              <node concept="37vLTw" id="4JBuioGU$8b" role="37wK5m">
                <ref role="3cqZAo" node="4JBuioGU$80" resolve="expect" />
              </node>
              <node concept="37vLTw" id="4JBuioGU$8c" role="37wK5m">
                <ref role="3cqZAo" node="4JBuioGU$82" resolve="actual" />
              </node>
            </node>
          </node>
          <node concept="3_1$Yv" id="4JBuioGU$8d" role="3_9lra">
            <node concept="3cpWs3" id="4JBuioGU$8e" role="3_1BAH">
              <node concept="37vLTw" id="4JBuioGU$8f" role="3uHU7w">
                <ref role="3cqZAo" node="4JBuioGU$82" resolve="actual" />
              </node>
              <node concept="3cpWs3" id="4JBuioGU$8g" role="3uHU7B">
                <node concept="3cpWs3" id="4JBuioGU$8h" role="3uHU7B">
                  <node concept="Xl_RD" id="4JBuioGU$8i" role="3uHU7B">
                    <property role="Xl_RC" value="can't unify: expected " />
                  </node>
                  <node concept="37vLTw" id="4JBuioGU$8j" role="3uHU7w">
                    <ref role="3cqZAo" node="4JBuioGU$80" resolve="expect" />
                  </node>
                </node>
                <node concept="Xl_RD" id="4JBuioGU$8k" role="3uHU7w">
                  <property role="Xl_RC" value=", actual " />
                </node>
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
  </node>
</model>

