occam-verify-cli 0.0.990 → 0.0.992

package/src/substitution/statementForMetavariable.js

@@ -4,11 +4,8 @@ import Substitution from "../substitution";
 import TermForVariableSubstitution from "../substitution/termForVariable";
 import FrameForMetavariableSubstitution from "../substitution/frameForMetavariable";
 
-import { nodeQuery } from "../utilities/query";
 import { stripBracketsFromStatement } from "../utilities/brackets";
 
-const statementMetavariableNodeQuery = nodeQuery("/statement/metavariable!");
-
 export default class StatementForMetavariableSubstitution extends Substitution {
   constructor(statementNode, metavariableNode, substitution) {
     super();
@@ -42,23 +39,6 @@ export default class StatementForMetavariableSubstitution extends Substitution {
     return simple;
   }
 
-  transformed(substitutions) {
-    let transformedSubstitution = null;
-
-    const transformedStatementNode = transformStatementNode(this.statementNode, substitutions);
-
-    if (transformedStatementNode !== null) {
-      const substitution = null,
-            statementNode = transformedStatementNode, ///
-            metavariableNode = this.metavariableNode, ///
-            statementForMetavariableSubstitution = new StatementForMetavariableSubstitution(statementNode, metavariableNode, substitution);
-
-      transformedSubstitution = statementForMetavariableSubstitution;  ///
-    }
-
-    return transformedSubstitution;
-  }
-
   matchStatementNode(statementNode) {
     statementNode = stripBracketsFromStatement(statementNode); ///
 
@@ -132,27 +112,3 @@ function substitutionFromSubstitutionNode(substitutionNode) {
 
   return substitution;
 }
-
-function transformStatementNode(statementNode, substitutions) {
-  let transformedStatementNode = null;
-
-  const statementMetavariableNode = statementMetavariableNodeQuery(statementNode);
-
-  if (statementMetavariableNode !== null) {
-    const metavariableNode = statementMetavariableNode; ///
-
-    substitutions.someSubstitution((substitution) => {
-      const substitutionMatchesVariableNode = substitution.matchMetavariableNode(metavariableNode);
-
-      if (substitutionMatchesVariableNode) {
-        const statementNode = substitution.getStatementNode();
-
-        transformedStatementNode = statementNode; ////
-
-        return true;
-      }
-    });
-  }
-
-  return transformedStatementNode;
-}

package/src/substitution/termForVariable.js

@@ -5,8 +5,9 @@ import Substitution from "../substitution";
 import { nodeQuery } from "../utilities/query";
 import { stripBracketsFromTerm } from "../utilities/brackets";
 
-const termNodeQuery = nodeQuery("/substitution/term!"),
-      variableNodeQuery = nodeQuery("/*/variable!");
+const termVariableNodeQuery = nodeQuery("/term/variable!"),
+      substitutionTermmNodeQuery = nodeQuery("/substitution/term!"),
+      substitutionsVariableNodeQuery = nodeQuery("/substitution/variable!");
 
 export default class TermForVariableSubstitution extends Substitution {
   constructor(termNode, variableNode) {
@@ -33,11 +34,12 @@ export default class TermForVariableSubstitution extends Substitution {
   transformed(substitutions) {
     let transformedSubstitution = null;
 
-    const transformedTermNode = transformTermNode(this.termNode, substitutions);
+    const transformedTermNode = transformTermNode(this.termNode, substitutions),
+          transformedVariableNode = transformVariableNode(this.variableNode, substitutions);
 
-    if (transformedTermNode !== null) {
+    if ((transformedTermNode !== null) && (transformedVariableNode !== null)) {
       const termNode = transformedTermNode, ///
-            variableNode = this.variableNode, ///
+            variableNode = transformedVariableNode, ///
             termForVariableSubstitution = new TermForVariableSubstitution(termNode, variableNode);
 
       transformedSubstitution = termForVariableSubstitution;  ///
@@ -46,14 +48,14 @@ export default class TermForVariableSubstitution extends Substitution {
     return transformedSubstitution;
   }
 
-  match(substitution) {
+  isEqualTo(substitution) {
     const termNode = substitution.getTermNode(),
           variableNode = substitution.getVariableNode(),
           termNodeMatches = this.matchTermNode(termNode),
           variableNodeMatches = this.matchVariableNode(variableNode),
-          matches = (termNodeMatches && variableNodeMatches);
+          equalTo = (termNodeMatches && variableNodeMatches);
 
-    return matches;
+    return equalTo;
   }
 
   matchTermNode(termNode) {
@@ -65,9 +67,9 @@ export default class TermForVariableSubstitution extends Substitution {
   }
 
   matchVariableNode(variableNode) {
-    const metavariableNodeMatches = this.variableNode.match(variableNode);
+    const variableNodeMatches = this.variableNode.match(variableNode);
 
-    return metavariableNodeMatches;
+    return variableNodeMatches;
   }
 
   unifyWithEquivalence(equivalence, substitutions, localContextA, localContextB) {
@@ -99,12 +101,16 @@ export default class TermForVariableSubstitution extends Substitution {
   static fromSubstitutionNode(substitutionNode) {
     let termForVariableSubstitution = null;
 
-    let termNode = termNodeQuery(substitutionNode),
-        variableNode = variableNodeQuery(substitutionNode);
+    let substitutionTermNode = substitutionTermmNodeQuery(substitutionNode);
+
+    if (substitutionTermNode !== null) {
+      let termNode = substitutionTermNode;  ///
 
-    if (termNode !== null) {
       termNode = stripBracketsFromTerm(termNode); ///
 
+      const substitutionVariableNode = substitutionsVariableNodeQuery(substitutionNode),
+            variableNode = substitutionVariableNode;  ///
+
       termForVariableSubstitution = new TermForVariableSubstitution(termNode, variableNode);
     }
 
@@ -123,9 +129,11 @@ export default class TermForVariableSubstitution extends Substitution {
 function transformTermNode(termNode, substitutions) {
   let transformedTermNode = null;
 
-  const variableNode = variableNodeQuery(termNode);
+  const termVariableNode = termVariableNodeQuery(termNode);
+
+  if (termVariableNode !== null) {
+    const variableNode = termVariableNode;  ///
 
-  if (variableNode !== null) {
     substitutions.someSubstitution((substitution) => {
       const substitutionMatchesVariableNode = substitution.matchVariableNode(variableNode);
 
@@ -141,3 +149,24 @@ function transformTermNode(termNode, substitutions) {
 
   return transformedTermNode;
 }
+
+function transformVariableNode(variableNode, substitutions) {
+  let transformedVariableNode = null;
+
+  substitutions.someSubstitution((substitution) => {
+    const variableNodeMatches = substitution.matchVariableNode(variableNode);
+
+    if (variableNodeMatches) {
+      const termNode = substitution.getTermNode(),
+            termVariableNode = termVariableNodeQuery(termNode);
+
+      if (termVariableNode !== null) {
+        transformedVariableNode = termVariableNode;  ///
+
+        return true;
+      }
+    }
+  });
+
+  return transformedVariableNode;
+}

package/src/substitution.js

@@ -33,6 +33,12 @@ export default class Substitution {
     return metavariableNode;
   }
 
+  isEqualTo(substitution) {
+    const equalTo = false;
+
+    return equalTo;
+  }
+
   matchTermNode(termNode) {
     const termNodeMatches = false;
 

package/src/substitutions.js

@@ -17,10 +17,12 @@ export default class Substitutions {
     return this.savedArray;
   }
 
+  getLength() { return this.array.length; }
+
   getFirstSubstitution() {
     let firstSubstitution = null;
 
-    const length = this.array.length;
+    const length = this.getLength();
 
     if (length > 0) {
       firstSubstitution = first(this.array);

package/src/unifier/metaLevel.js

@@ -37,32 +37,30 @@ class MetaLevelUnifier extends Unifier {
       unify: (statementNodeA, statementNodeB, substitutions, localContextA, localContextB) => {
         let statementUnifiedWithStatement;
 
-        const statementMetavariableNodeA = statementMetavariableNodeQuery(statementNodeA);
+        const matches = statementNodeA.match(statementNodeB);
 
-        if (statementMetavariableNodeA !== null) {
-          const metavariableNodeA = statementMetavariableNodeA, ///
-                statementSubstitutionNodeA = statementSubstitutionNodeQuery(statementNodeA);
+        if (matches) {
+          statementUnifiedWithStatement = true;
+        } else {
+          const statementMetavariableNodeA = statementMetavariableNodeQuery(statementNodeA);
 
-          if (statementSubstitutionNodeA === null) {
-            const metavariableUnifiedWithStatement = unifyMetavariableWithStatement(metavariableNodeA, statementNodeB, substitutions, localContextA, localContextB);
+          if (statementMetavariableNodeA !== null) {
+            const metavariableNodeA = statementMetavariableNodeA, ///
+                  statementSubstitutionNodeA = statementSubstitutionNodeQuery(statementNodeA);
 
-            statementUnifiedWithStatement = metavariableUnifiedWithStatement; ///
-          } else {
-            const substitutionNodeA = statementSubstitutionNodeA, ///
-                  metavariableUnifiedWithStatementGivenSubstitution = unifyMetavariableWithStatementGivenSubstitution(metavariableNodeA, statementNodeB, substitutionNodeA, substitutions, localContextA, localContextB);
+            if (statementSubstitutionNodeA === null) {
+              const metavariableUnifiedWithStatement = unifyMetavariableWithStatement(metavariableNodeA, statementNodeB, substitutions, localContextA, localContextB);
 
-            statementUnifiedWithStatement = metavariableUnifiedWithStatementGivenSubstitution; ///
+              statementUnifiedWithStatement = metavariableUnifiedWithStatement; ///
+            } else {
+              const substitutionNodeA = statementSubstitutionNodeA, ///
+                    metavariableUnifiedWithStatementGivenSubstitution = unifyMetavariableWithStatementGivenSubstitution(metavariableNodeA, statementNodeB, substitutionNodeA, substitutions, localContextA, localContextB);
+
+              statementUnifiedWithStatement = metavariableUnifiedWithStatementGivenSubstitution; ///
+            }
+          } else {
+            statementUnifiedWithStatement = unifyStatementWithStatement(statementNodeA, statementNodeB, substitutions, localContextA, localContextB);
           }
-        } else {
-          const nonTerminalNodeA = statementNodeA, ///
-                nonTerminalNodeB = statementNodeB, ///
-                nonTerminalNodeAChildNodes = nonTerminalNodeA.getChildNodes(),
-                nonTerminalNodeBChildNodes = nonTerminalNodeB.getChildNodes(),
-                childNodesA = nonTerminalNodeAChildNodes, ///
-                childNodesB = nonTerminalNodeBChildNodes, ///
-                childNodesVerified = metaLevelUnifier.unifyChildNodes(childNodesA, childNodesB, substitutions, localContextA, localContextB);
-
-          statementUnifiedWithStatement = childNodesVerified; ///
         }
 
         return statementUnifiedWithStatement;
@@ -98,3 +96,16 @@ Object.assign(shim, {
 });
 
 export default metaLevelUnifier;
+
+function unifyStatementWithStatement(statementNodeA, statementNodeB, substitutions, localContextA, localContextB) {
+  const nonTerminalNodeA = statementNodeA, ///
+        nonTerminalNodeB = statementNodeB, ///
+        nonTerminalNodeAChildNodes = nonTerminalNodeA.getChildNodes(),
+        nonTerminalNodeBChildNodes = nonTerminalNodeB.getChildNodes(),
+        childNodesA = nonTerminalNodeAChildNodes, ///
+        childNodesB = nonTerminalNodeBChildNodes, ///
+        childNodesVerified = metaLevelUnifier.unifyChildNodes(childNodesA, childNodesB, substitutions, localContextA, localContextB),
+        statementUnifiedWithStatement = childNodesVerified; ///
+
+  return statementUnifiedWithStatement;
+}

package/src/unify/metavariableWithFrame.js

@@ -3,6 +3,7 @@
 import FrameForMetavariableSubstitution from "../substitution/frameForMetavariable";
 
 import { metavariableFromFrameNode } from "../utilities/unify";
+import {metavariableNameFromMetavariableNode} from "../utilities/name";
 
 export default function unifyMetavariableWithFrame(metavariableNodeA, frameNodeB, substitutions, localContextA, localContextB) {
   let metavariableUnifiedWithFrame = false;
@@ -17,7 +18,8 @@ export default function unifyMetavariableWithFrame(metavariableNodeA, frameNodeB
       metavariableUnifiedWithFrame = true;
     }
   } else {
-    const metavariableA = localContextA.findMetavariableByMetavariableNode(metavariableNodeA),
+    const metavariableNameA = metavariableNameFromMetavariableNode(metavariableNodeA),
+          metavariableA = localContextA.findMetavariableByMetavariableName(metavariableNameA),
           metavariableB = metavariableFromFrameNode(frameNodeB, localContextB);
 
     if (metavariableA === metavariableB) {

package/src/unify/metavariableWithStatement.js

@@ -3,6 +3,7 @@
 import StatementForMetavariableSubstitution from "../substitution/statementForMetavariable";
 
 import { metavariableFromStatementNode } from "../utilities/unify";
+import {metavariableNameFromMetavariableNode} from "../utilities/name";
 
 export default function unifyMetavariableWithStatement(metavariableNodeA, statementNodeB, substitutions, localContextA, localContextB) {
   let metavariableUnifiedWithStatement = false;
@@ -17,7 +18,8 @@ export default function unifyMetavariableWithStatement(metavariableNodeA, statem
       metavariableUnifiedWithStatement = true;
     }
   } else {
-    const metavariableA = localContextA.findMetavariableByMetavariableNode(metavariableNodeA),
+    const metavariableNameA = metavariableNameFromMetavariableNode(metavariableNodeA),
+          metavariableA = localContextA.findMetavariableByMetavariableName(metavariableNameA),
           metavariableB = metavariableFromStatementNode(statementNodeB, localContextB);
 
     if (metavariableA === metavariableB) {

package/src/unify/metavariableWithStatementGivenSubstitution.js

@@ -3,6 +3,7 @@
 import StatementForMetavariableSubstitution from "../substitution/statementForMetavariable";
 
 import { metavariableFromStatementNode } from "../utilities/unify";
+import {metavariableNameFromMetavariableNode} from "../utilities/name";
 
 export default function unifyMetavariableWithStatementGivenSubstitution(metavariableNodeA, statementNodeB, substitutionNodeA, substitutions, localContextA, localContextB) {
   let metavariableUnifiedWithStatementGivenSubstitution = false;
@@ -17,7 +18,8 @@ export default function unifyMetavariableWithStatementGivenSubstitution(metavari
       metavariableUnifiedWithStatementGivenSubstitution = true;
     }
   } else {
-    const metavariableA = localContextA.findMetavariableByMetavariableNode(metavariableNodeA),
+    const metavariableNameA = metavariableNameFromMetavariableNode(metavariableNodeA),
+          metavariableA = localContextA.findMetavariableByMetavariableName(metavariableNameA),
           metavariableB = metavariableFromStatementNode(statementNodeB, localContextB);
 
     if (metavariableA === metavariableB) {

package/src/unify/simpleSubstitutionStatementWithComplexSubstitutionStatement.js

@@ -0,0 +1,27 @@
+"use strict";
+
+import metaLevelUnifier from "../unifier/metaLevel";
+
+export default function unifyComplexSubstitutionStatementWithSimpleSubstitutionStatement(simpleSubstitutionStatementNode, complexSubstitutionStatementNode, substitutions, localContextA, localContextB) {
+  let simpleSubstitutionStatementUnifiedWithComplexSubstitutionStatement;
+
+  const simpleSubstitutionStatementString = localContextB.nodeAsString(simpleSubstitutionStatementNode),
+        complexSubstitutionStatementString = localContextB.nodeAsString(complexSubstitutionStatementNode);
+
+  localContextB.trace(`Unifying the simple substitution's '${simpleSubstitutionStatementString}' statement with the complex substitution's '${complexSubstitutionStatementString}' statement...`, simpleSubstitutionStatementNode);
+
+  const nodeA = complexSubstitutionStatementNode,  ///
+        nodeB = simpleSubstitutionStatementNode;  ///
+
+  localContextA = localContextB;  ///
+
+  const unified = metaLevelUnifier.unify(nodeA, nodeB, substitutions, localContextA, localContextB);
+
+  simpleSubstitutionStatementUnifiedWithComplexSubstitutionStatement = unified;  ///
+
+  if (simpleSubstitutionStatementUnifiedWithComplexSubstitutionStatement) {
+    localContextB.trace(`...unified the simple substitution's '${simpleSubstitutionStatementString}' statement with the complex substitution's '${complexSubstitutionStatementString}' statement.`, simpleSubstitutionStatementNode);
+  }
+
+  return simpleSubstitutionStatementUnifiedWithComplexSubstitutionStatement;
+}

package/lib/unify/complexSubstitutionStatementWithSimpleSubstitutionStatement.js

@@ -1,31 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyComplexSubstitutionStatementWithSimpleSubstitutionStatement;
-    }
-});
-var _metaLevel = /*#__PURE__*/ _interop_require_default(require("../unifier/metaLevel"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function unifyComplexSubstitutionStatementWithSimpleSubstitutionStatement(complexSubstitutionStatementNode, simpleSubstitutionStatementNode, substitutions, localContextA, localContextB) {
-    var complexSubstitutionStatementWithSimpleSubstitutionStatement;
-    var complexSubstitutionStatementString = localContextB.nodeAsString(complexSubstitutionStatementNode), simpleSubstitutionStatementString = localContextB.nodeAsString(simpleSubstitutionStatementNode);
-    localContextB.trace("Unifying the complex substitution's '".concat(complexSubstitutionStatementString, "' statement with the simple substitution's '").concat(simpleSubstitutionStatementString, "' statement..."), simpleSubstitutionStatementNode);
-    var nodeA = complexSubstitutionStatementNode, nodeB = simpleSubstitutionStatementNode; ///
-    localContextA = localContextB; ///
-    var unified = _metaLevel.default.unify(nodeA, nodeB, substitutions, localContextA, localContextB);
-    complexSubstitutionStatementWithSimpleSubstitutionStatement = unified; ///
-    if (complexSubstitutionStatementWithSimpleSubstitutionStatement) {
-        localContextB.trace("...unified the complex substitution's '".concat(complexSubstitutionStatementString, "' statement with the simple substitution's '").concat(simpleSubstitutionStatementString, "' statement."), simpleSubstitutionStatementNode);
-    }
-    return complexSubstitutionStatementWithSimpleSubstitutionStatement;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS9jb21wbGV4U3Vic3RpdHV0aW9uU3RhdGVtZW50V2l0aFNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IG1ldGFMZXZlbFVuaWZpZXIgZnJvbSBcIi4uL3VuaWZpZXIvbWV0YUxldmVsXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHVuaWZ5Q29tcGxleFN1YnN0aXR1dGlvblN0YXRlbWVudFdpdGhTaW1wbGVTdWJzdGl0dXRpb25TdGF0ZW1lbnQoY29tcGxleFN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUsIHNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUsIHN1YnN0aXR1dGlvbnMsIGxvY2FsQ29udGV4dEEsIGxvY2FsQ29udGV4dEIpIHtcbiAgbGV0IGNvbXBsZXhTdWJzdGl0dXRpb25TdGF0ZW1lbnRXaXRoU2ltcGxlU3Vic3RpdHV0aW9uU3RhdGVtZW50O1xuXG4gIGNvbnN0IGNvbXBsZXhTdWJzdGl0dXRpb25TdGF0ZW1lbnRTdHJpbmcgPSBsb2NhbENvbnRleHRCLm5vZGVBc1N0cmluZyhjb21wbGV4U3Vic3RpdHV0aW9uU3RhdGVtZW50Tm9kZSksXG4gICAgICAgIHNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudFN0cmluZyA9IGxvY2FsQ29udGV4dEIubm9kZUFzU3RyaW5nKHNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUpO1xuXG4gIGxvY2FsQ29udGV4dEIudHJhY2UoYFVuaWZ5aW5nIHRoZSBjb21wbGV4IHN1YnN0aXR1dGlvbidzICcke2NvbXBsZXhTdWJzdGl0dXRpb25TdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgd2l0aCB0aGUgc2ltcGxlIHN1YnN0aXR1dGlvbidzICcke3NpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudC4uLmAsIHNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUpO1xuXG4gIGNvbnN0IG5vZGVBID0gY29tcGxleFN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUsICAvLy9cbiAgICAgICAgbm9kZUIgPSBzaW1wbGVTdWJzdGl0dXRpb25TdGF0ZW1lbnROb2RlOyAgLy8vXG5cbiAgbG9jYWxDb250ZXh0QSA9IGxvY2FsQ29udGV4dEI7ICAvLy9cblxuICBjb25zdCB1bmlmaWVkID0gbWV0YUxldmVsVW5pZmllci51bmlmeShub2RlQSwgbm9kZUIsIHN1YnN0aXR1dGlvbnMsIGxvY2FsQ29udGV4dEEsIGxvY2FsQ29udGV4dEIpO1xuXG4gIGNvbXBsZXhTdWJzdGl0dXRpb25TdGF0ZW1lbnRXaXRoU2ltcGxlU3Vic3RpdHV0aW9uU3RhdGVtZW50ID0gdW5pZmllZDsgIC8vL1xuXG4gIGlmIChjb21wbGV4U3Vic3RpdHV0aW9uU3RhdGVtZW50V2l0aFNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudCkge1xuICAgIGxvY2FsQ29udGV4dEIudHJhY2UoYC4uLnVuaWZpZWQgdGhlIGNvbXBsZXggc3Vic3RpdHV0aW9uJ3MgJyR7Y29tcGxleFN1YnN0aXR1dGlvblN0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCB3aXRoIHRoZSBzaW1wbGUgc3Vic3RpdHV0aW9uJ3MgJyR7c2ltcGxlU3Vic3RpdHV0aW9uU3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50LmAsIHNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUpO1xuICB9XG5cbiAgcmV0dXJuIGNvbXBsZXhTdWJzdGl0dXRpb25TdGF0ZW1lbnRXaXRoU2ltcGxlU3Vic3RpdHV0aW9uU3RhdGVtZW50O1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5Q29tcGxleFN1YnN0aXR1dGlvblN0YXRlbWVudFdpdGhTaW1wbGVTdWJzdGl0dXRpb25TdGF0ZW1lbnQiLCJjb21wbGV4U3Vic3RpdHV0aW9uU3RhdGVtZW50Tm9kZSIsInNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGUiLCJzdWJzdGl0dXRpb25zIiwibG9jYWxDb250ZXh0QSIsImxvY2FsQ29udGV4dEIiLCJjb21wbGV4U3Vic3RpdHV0aW9uU3RhdGVtZW50V2l0aFNpbXBsZVN1YnN0aXR1dGlvblN0YXRlbWVudCIsImNvbXBsZXhTdWJzdGl0dXRpb25TdGF0ZW1lbnRTdHJpbmciLCJub2RlQXNTdHJpbmciLCJzaW1wbGVTdWJzdGl0dXRpb25TdGF0ZW1lbnRTdHJpbmciLCJ0cmFjZSIsIm5vZGVBIiwibm9kZUIiLCJ1bmlmaWVkIiwibWV0YUxldmVsVW5pZmllciIsInVuaWZ5Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXdCQTs7O2dFQUZLOzs7Ozs7QUFFZCxTQUFTQSxpRUFBaUVDLGdDQUFnQyxFQUFFQywrQkFBK0IsRUFBRUMsYUFBYSxFQUFFQyxhQUFhLEVBQUVDLGFBQWE7SUFDck0sSUFBSUM7SUFFSixJQUFNQyxxQ0FBcUNGLGNBQWNHLFlBQVksQ0FBQ1AsbUNBQ2hFUSxvQ0FBb0NKLGNBQWNHLFlBQVksQ0FBQ047SUFFckVHLGNBQWNLLEtBQUssQ0FBQyxBQUFDLHdDQUF3SEQsT0FBakZGLG9DQUFtQyxnREFBZ0YsT0FBbENFLG1DQUFrQyxtQkFBaUJQO0lBRWhNLElBQU1TLFFBQVFWLGtDQUNSVyxRQUFRVixpQ0FBa0MsR0FBRztJQUVuREUsZ0JBQWdCQyxlQUFnQixHQUFHO0lBRW5DLElBQU1RLFVBQVVDLGtCQUFnQixDQUFDQyxLQUFLLENBQUNKLE9BQU9DLE9BQU9ULGVBQWVDLGVBQWVDO0lBRW5GQyw4REFBOERPLFNBQVUsR0FBRztJQUUzRSxJQUFJUCw2REFBNkQ7UUFDL0RELGNBQWNLLEtBQUssQ0FBQyxBQUFDLDBDQUEwSEQsT0FBakZGLG9DQUFtQyxnREFBZ0YsT0FBbENFLG1DQUFrQyxpQkFBZVA7SUFDbE07SUFFQSxPQUFPSTtBQUNUIn0=

package/src/unify/complexSubstitutionStatementWithSimpleSubstitutionStatement.js

@@ -1,27 +0,0 @@
-"use strict";
-
-import metaLevelUnifier from "../unifier/metaLevel";
-
-export default function unifyComplexSubstitutionStatementWithSimpleSubstitutionStatement(complexSubstitutionStatementNode, simpleSubstitutionStatementNode, substitutions, localContextA, localContextB) {
-  let complexSubstitutionStatementWithSimpleSubstitutionStatement;
-
-  const complexSubstitutionStatementString = localContextB.nodeAsString(complexSubstitutionStatementNode),
-        simpleSubstitutionStatementString = localContextB.nodeAsString(simpleSubstitutionStatementNode);
-
-  localContextB.trace(`Unifying the complex substitution's '${complexSubstitutionStatementString}' statement with the simple substitution's '${simpleSubstitutionStatementString}' statement...`, simpleSubstitutionStatementNode);
-
-  const nodeA = complexSubstitutionStatementNode,  ///
-        nodeB = simpleSubstitutionStatementNode;  ///
-
-  localContextA = localContextB;  ///
-
-  const unified = metaLevelUnifier.unify(nodeA, nodeB, substitutions, localContextA, localContextB);
-
-  complexSubstitutionStatementWithSimpleSubstitutionStatement = unified;  ///
-
-  if (complexSubstitutionStatementWithSimpleSubstitutionStatement) {
-    localContextB.trace(`...unified the complex substitution's '${complexSubstitutionStatementString}' statement with the simple substitution's '${simpleSubstitutionStatementString}' statement.`, simpleSubstitutionStatementNode);
-  }
-
-  return complexSubstitutionStatementWithSimpleSubstitutionStatement;
-}