From ab52c177dcc859709bb2b34f84837bb7bfa6087c Mon Sep 17 00:00:00 2001
From: Mihail Buryakov <Mihail.Buryakov@jetbrains.com>
Date: Tue, 8 Dec 2015 19:27:18 +0300
Subject: [PATCH] allow mapper to return StemFunc for case where ground() is
 called and Alias points to a variable which was already resolved to a
 StemFunc object

---
 .../models/jetbrains/mps/logic/atom.mps       | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps b/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps
index a22cb845..2316c59b 100644
--- a/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps
+++ b/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps
@@ -8903,6 +8903,28 @@
                 </node>
               </node>
             </node>
+            <node concept="3eNFk2" id="1XX620LkFv7" role="3eNLev">
+              <node concept="3clFbS" id="1XX620LkFv9" role="3eOfB_">
+                <node concept="3cpWs6" id="1XX620LkGN_" role="3cqZAp">
+                  <node concept="2YIFZM" id="1XX620LkGNA" role="3cqZAk">
+                    <ref role="1Pybhc" node="3OPtF03lco4" resolve="ListFunc" />
+                    <ref role="37wK5l" node="1OShD0HS45f" resolve="createList" />
+                    <node concept="37vLTw" id="1XX620LkGNB" role="37wK5m">
+                      <ref role="3cqZAo" node="6HT7BWBOytm" resolve="atom" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="1XX620LkHej" role="3cqZAp" />
+              </node>
+              <node concept="2ZW3vV" id="1XX620LkG01" role="3eO9$A">
+                <node concept="3uibUv" id="1XX620LkGpt" role="2ZW6by">
+                  <ref role="3uigEE" node="5JQSuNswOXL" resolve="StemFunc" />
+                </node>
+                <node concept="37vLTw" id="1XX620LkG03" role="2ZW6bz">
+                  <ref role="3cqZAo" node="6HT7BWBOytm" resolve="atom" />
+                </node>
+              </node>
+            </node>
             <node concept="9aQIb" id="6HT7BWBOKa9" role="9aQIa">
               <node concept="3clFbS" id="6HT7BWBOKaa" role="9aQI4">
                 <node concept="YS8fn" id="6HT7BWBOM4i" role="3cqZAp">