occam-nominal 1.0.310 → 1.0.317

package/src/element/topLevelAssertion.js

@@ -103,7 +103,7 @@ export default class TopLevelAssertion extends Element {
             verifyDeduction = this.verifyDeduction.bind(this),
             verifySuppositions = this.verifySuppositions.bind(this);
 
-      all([
+      return all([
         verifyLabels,
         verifySuppositions,
         verifyDeduction,
@@ -113,7 +113,7 @@ export default class TopLevelAssertion extends Element {
           context.debug(`...verified the '${topLevelAssertionString}' top level assertion.`);
         }
 
-        continuation(verifies);
+        return continuation(verifies);
       });
     }, context);
   }
@@ -130,7 +130,7 @@ export default class TopLevelAssertion extends Element {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's labels.`);
       }
 
-      continuation(labelsVerify);
+      return continuation(labelsVerify);
     });
   }
 
@@ -140,12 +140,12 @@ export default class TopLevelAssertion extends Element {
 
     context.trace(`Verifying the '${topLevelAssertionString}' top level assertion's '${labelString}' label...`);
 
-    label.verify((labelVerifies) => {
+    return label.verify((labelVerifies) => {
       if (labelVerifies) {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's '${labelString}' label.`);
       }
 
-      continuation(labelVerifies);
+      return continuation(labelVerifies);
     });
   }
 
@@ -153,9 +153,7 @@ export default class TopLevelAssertion extends Element {
     if (this.proof === null) {
       const proofVerifies = true; ///
 
-      continuation(proofVerifies);
-
-      return;
+      return continuation(proofVerifies);
     }
 
     const topLevelAssertionString = this.getString();  ///
@@ -164,12 +162,12 @@ export default class TopLevelAssertion extends Element {
 
     const statement = this.deduction.getStatement();
 
-    this.proof.verify(statement, context, (proofVerifies) => {
+    return this.proof.verify(statement, context, (proofVerifies) => {
       if (proofVerifies) {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's proof.`);
       }
 
-      continuation(proofVerifies);
+      return continuation(proofVerifies);
     });
   }
 
@@ -179,12 +177,12 @@ export default class TopLevelAssertion extends Element {
 
     context.trace(`Verifying the '${topLevelAssertionString}' top level assertion's '${deductionString}' deduction...`);
 
-    this.deduction.verify(context, (deductionVerifies) => {
+    return this.deduction.verify(context, (deductionVerifies) => {
       if (deductionVerifies) {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's '${deductionString}' deduction.`);
       }
 
-      continuation(deductionVerifies);
+      return continuation(deductionVerifies);
     });
   }
 
@@ -194,7 +192,7 @@ export default class TopLevelAssertion extends Element {
 
     context.trace(`Verifying the '${topLevelAssertionString}' top level assertion's '${suppositionString}' supposition...`);
 
-    supposition.verify(context, (suppositionVerifies) => {
+    return supposition.verify(context, (suppositionVerifies) => {
       if (suppositionVerifies) {
         const subproofOrProofAssertion = supposition;  ////
 
@@ -207,7 +205,7 @@ export default class TopLevelAssertion extends Element {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's '${suppositionString}' supposition.`);
       }
 
-      continuation(suppositionVerifies);
+      return continuation(suppositionVerifies);
     });
   }
 
@@ -223,7 +221,7 @@ export default class TopLevelAssertion extends Element {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's suppositions.`);
       }
 
-      continuation(suppositionsVerify);
+      return continuation(suppositionsVerify);
     });
   }
 
@@ -248,7 +246,7 @@ export default class TopLevelAssertion extends Element {
 
   dischargeHypotheses(context) {
     const hypotheses = this.getHypotheses(),
-          hypothesesDischarges = every(hypotheses, (hypothesis) => {
+          hypothesesDischarge = every(hypotheses, (hypothesis) => {
             const hypothesisDischarges = this.dischargeHypothesis(hypothesis, context);
 
             if (hypothesisDischarges) {
@@ -256,42 +254,49 @@ export default class TopLevelAssertion extends Element {
             }
           });
 
-    return hypothesesDischarges;
+    return hypothesesDischarge;
   }
 
-  unifyStepWithDeduction(step, context) {
-    let stepUnifiesWithDeduction = false;
+  unifyStepWithDeduction(step, context, continuation) {
+    const ruleString = this.getString(),
+          stepString = step.getString(),
+          conclusionString = this.conclusion.getString();
 
-    this.break(context);
+    context.trace(`Unifying the '${stepString}' step with the '${ruleString}' rule's '${conclusionString}' conclusion...`);
 
-    const stepString = step.getString(),
-          topLevelAssertionString = this.getString(); ///
+    return this.conclusion.unifyStep(step, context, (stepUnifies) => {
+      let stepUnifiesWithDeduction = false;
 
-    context.trace(`Unifying the '${stepString}' step with the '${topLevelAssertionString}' top level assertion's deduction...`);
+      if (stepUnifies) {
+        stepUnifiesWithDeduction = true;
+      }
 
-    const stepUnifies = this.deduction.unifyStep(step, context);
+      if (stepUnifiesWithDeduction) {
+        context.debug(`...unified the '${stepString}' step with the '${ruleString}' rule's '${conclusionString}' conclusion.`);
+      }
 
-    if (stepUnifies) {
-      stepUnifiesWithDeduction = true;
-    }
+      return continuation(stepUnifiesWithDeduction);
+    });
+  }
 
-    if (stepUnifiesWithDeduction) {
-      context.debug(`...unified the '${stepString}' step with the '${topLevelAssertionString}' top level assertion's deduction.`);
-    }
+  unifyStepAndSubproofOrProofAssertions(step, subproofOrProofAssertions, context, continuation) {
+    return this.unifyStepWithDeduction(step, context, (statementUnifiesWithDeduction) => {
+      if (!statementUnifiesWithDeduction) {
+        const stepAndSubproofOrProofAssertionsUnify = false;
 
-    return stepUnifiesWithDeduction;
-  }
+        return continuation(stepAndSubproofOrProofAssertionsUnify);
+      }
 
-  unifyStepAndSubproofOrProofAssertions(step, subproofOrProofAssertions, context) {
-    let stepAndSubproofOrProofAssertionsUnify = false;
+      const hypothesesDischarge = this.dischargeHypotheses(context);
 
-    const stepUnifiesWithDeduction = this.unifyStepWithDeduction(step, context);
+      if (hypothesesDischarge) {
+        const stepAndSubproofOrProofAssertionsUnify = false;
 
-    if (stepUnifiesWithDeduction) {
-      const hypothesesDischarges = this.dischargeHypotheses(context);
+        return continuation(stepAndSubproofOrProofAssertionsUnify);
+      }
 
-      if (hypothesesDischarges) {
-        const subproofOrProofAssertionsUnifiesWithSuppositions = this.unifySubproofOrProofAssertionsWithSuppositions(subproofOrProofAssertions, context);
+      this.unifySubproofOrProofAssertionsWithSuppositions(subproofOrProofAssertions, context, (subproofOrProofAssertionsUnifiesWithSuppositions) => {
+        let stepAndSubproofOrProofAssertionsUnify = false;
 
         if (subproofOrProofAssertionsUnifiesWithSuppositions) {
           const derivedSubstitutionsResolved = context.areDerivedSubstitutionsResolved();
@@ -300,58 +305,34 @@ export default class TopLevelAssertion extends Element {
             stepAndSubproofOrProofAssertionsUnify = true;
           }
         }
-      }
-    }
 
-    return stepAndSubproofOrProofAssertionsUnify;
+        return continuation(stepAndSubproofOrProofAssertionsUnify);
+      });
+    });
   }
 
-  unifySubproofOrProofAssertionsWithSupposition(subproofOrProofAssertions, supposition, context) {
-    let subproofOrProofAssertionsUnifiesWithSupposition = false;
-
-    this.break(context);
-
-    if (!subproofOrProofAssertionsUnifiesWithSupposition) {
-      const subproofOrProofAssertion = extract(subproofOrProofAssertions, (subproofOrProofAssertion) => {
-        const subproofOrProofAssertionUnifies = supposition.unifySubproofOrProofAssertion(subproofOrProofAssertion, context);
-
-        if (subproofOrProofAssertionUnifies) {
-          context.resolveDerivedSubstitutions();
-
-          return true;
-        }
-      }) || null;
-
+  unifySubproofOrProofAssertionsWithSupposition(subproofOrProofAssertions, supposition, context, continuation) {
+    return extract(subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
+      return supposition.unifySubproofOrProofAssertion(subproofOrProofAssertion, context, continuation);
+    }, (subproofOrProofAssertion = null) => {
       if (subproofOrProofAssertion !== null) {
-        subproofOrProofAssertionsUnifiesWithSupposition = true;
-      }
-    }
-
-    if (!subproofOrProofAssertionsUnifiesWithSupposition) {
-      const suppositionUnifiesIndependently = supposition.unifyIndependently(context);
+        const subproofOrProofAssertionsUnifiesWithSupposition = true;
 
-      if (suppositionUnifiesIndependently) {
-        subproofOrProofAssertionsUnifiesWithSupposition = true;
+        return context.resolveDerivedSubstitutions(() => {
+          return continuation(subproofOrProofAssertionsUnifiesWithSupposition);
+        });
       }
-    }
 
-    return subproofOrProofAssertionsUnifiesWithSupposition;
+      return supposition.unifyIndependently(context, continuation);
+    });
   }
 
-  unifySubproofOrProofAssertionsWithSuppositions(subproofOrProofAssertions, context) {
-    let subproofOrProofAssertionsUnifiesWithSuppositions;
-
+  unifySubproofOrProofAssertionsWithSuppositions(subproofOrProofAssertions, context, continuation) {
     subproofOrProofAssertions = reverse(subproofOrProofAssertions); ///
 
-    subproofOrProofAssertionsUnifiesWithSuppositions = backwardsEvery(this.suppositions, (supposition) => {
-      const stepUnifiesWithSupposition = this.unifySubproofOrProofAssertionsWithSupposition(subproofOrProofAssertions, supposition, context);
-
-      if (stepUnifiesWithSupposition) {
-        return true;
-      }
-    });
-
-    return subproofOrProofAssertionsUnifiesWithSuppositions;
+    return backwardsEvery(this.suppositions, (supposition, continuation) => {
+      return this.unifySubproofOrProofAssertionsWithSupposition(subproofOrProofAssertions, supposition, context, continuation);
+    }, continuation);
   }
 
   toJSON() {

package/src/node/metavariable.js

@@ -2,9 +2,36 @@
 
 import { NonTerminalNode } from "occam-languages";
 
-import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../ruleNames";
+import { TERM_RULE_NAME, TYPE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
 
 export default class MetavariableNode extends NonTerminalNode {
+  getSiblingSubstitutionNode() {
+    let siblingSubstitutionNode = null;
+
+    const parentStatementNode = this.getParentStatementNode();
+
+    if (parentStatementNode !== null) {
+      const substitutionNode = parentStatementNode.getSubstitutionNode();
+
+      siblingSubstitutionNode = substitutionNode; ///
+    }
+
+    return siblingSubstitutionNode;
+  }
+
+  getParentStatementNode() {
+    let parentStatementNode = null;
+
+    const parentNode = this.getParentNode(),
+          parentNodeRuleName = parentNode.getRuleName();
+
+    if (parentNodeRuleName === STATEMENT_RULE_NAME) {
+      parentStatementNode = parentNode; ///
+    }
+
+    return parentStatementNode;
+  }
+
   getMetavariableName() {
     let metavariableName;
 

package/src/process/unify.js

@@ -170,29 +170,20 @@ class MetaLevelPass extends ContinuationZipPassBase {
       generalNodeQuery: statementMetavariableNodeQuery,
       specificNodeQuery: statementNodeQuery,
       run: (generalStatementMetavariableNode, specificStatementNode, generalContext, specificContext, continuation) => {
-        let context,
-            statementNode;
-
-        context = generalContext; ///
+        const statementNode = specificStatementNode, ///
+              metavariableNode = generalStatementMetavariableNode;
 
-        const metavariableNode = generalStatementMetavariableNode,  ///
-              metavariable = context.findMetavariableByMetavariableNode(metavariableNode),
-              metavariableNodeParentNode = metavariableNode.getParentNode();
-
-        statementNode = metavariableNodeParentNode; ///
+        let context;
 
-        const substitutionNode = statementNode.getSubstitutionNode(),
-              substitution = (substitutionNode !== null) ?
-                               context.findSubstitutionBySubstitutionNode(substitutionNode) :
-                                 null;
+        context = generalContext; ///
 
-        context = specificContext; ///
+        const metavariable = context.findMetavariableByMetavariableNode(metavariableNode);
 
-        statementNode = specificStatementNode;  ///
+        context = specificContext;  ///
 
         const statement = context.findStatementByStatementNode(statementNode);
 
-        metavariable.unifyStatement(statement, substitution, generalContext, specificContext, (statementUnifies) => {
+        metavariable.unifyStatement(statement, generalContext, specificContext, (statementUnifies) => {
           let success = false;
 
           if (statementUnifies) {

package/src/process/validation.js

@@ -135,14 +135,15 @@ function validateStatementAsMetavariable(statement, context, continuation) {
       return continuation(statementValidatesAsMetavariable);
     }
 
-    const { TermSubstitution, FrameSubstitution } = elements,
-          frameSubstitution = FrameSubstitution.fromStatement(statement, context),
-          termSubstitution = TermSubstitution.fromStatement(statement, context),
-          substitution = (termSubstitution || frameSubstitution);
+    const substitution = statement.getSubstitution();
 
     if (substitution === null) {
       const statementValidatesAsMetavariable = true;
 
+      if (statementValidatesAsMetavariable) {
+        context.debug(`...validated the '${statementString}' statement as a metavariable.`);
+      }
+
       return continuation(statementValidatesAsMetavariable);
     }
 

package/src/utilities/element.js

@@ -345,11 +345,12 @@ export function statementFromStatementNode(statementNode, context) {
   const { Statement } = elements,
         node = statementNode, ///
         string = context.nodeAsString(node),
-        breakPoint = null;
+        breakPoint = null,
+        substitution = substitutionFromStatementNode(statementNode, context);
 
   context = null;
 
-  const statement = new Statement(context, string, node, breakPoint);
+  const statement = new Statement(context, string, node, breakPoint, substitution);
 
   return statement;
 }
@@ -687,15 +688,15 @@ export function definedAssertionFromDefinedAssertionNode(definedAssertionNode, c
 export function termSubstitutionFromTermSubstitutionNode(termSubstitutionNode, generalContext, specificContext) {
   const { TermSubstitution } = elements,
         node = termSubstitutionNode,  ///
-        context = specificContext,  ///
         contexts = [
           generalContext,
           specificContext
         ],
+        context = specificContext,  ///
         string = context.nodeAsString(node),
         breakPoint = null,
-        targetTerm = targetTermFromTermSubstitutionNode(termSubstitutionNode, context),
-        replacementTerm = replacementTermFromTermSubstitutionNode(termSubstitutionNode, context),
+        targetTerm = targetTermFromTermSubstitutionNode(termSubstitutionNode, generalContext),
+        replacementTerm = replacementTermFromTermSubstitutionNode(termSubstitutionNode, specificContext),
         termSubstitution = new TermSubstitution(contexts, string, node, breakPoint, targetTerm, replacementTerm);
 
   return termSubstitution;
@@ -704,15 +705,15 @@ export function termSubstitutionFromTermSubstitutionNode(termSubstitutionNode, g
 export function frameSubstitutionFromFrameSubstitutionNode(frameSubstitutionNode, generalContext, specificContext) {
   const { FrameSubstitution } = elements,
         node = frameSubstitutionNode,  ///
-        context = specificContext,  ///
         contexts = [
           generalContext,
           specificContext
         ],
+        context = specificContext,  ///
         string = context.nodeAsString(node),
         breakPoint = null,
-        targetFrame = targetFrameFromFrameSubstitutionNode(frameSubstitutionNode, context),
-        replacementFrame = replacementFrameFromFrameSubstitutionNode(frameSubstitutionNode, context),
+        targetFrame = targetFrameFromFrameSubstitutionNode(frameSubstitutionNode, generalContext),
+        replacementFrame = replacementFrameFromFrameSubstitutionNode(frameSubstitutionNode, specificContext),
         frameSubstitution = new FrameSubstitution(contexts, string, node, breakPoint, targetFrame, replacementFrame);
 
   return frameSubstitution;
@@ -924,15 +925,15 @@ export function combinatorDeclarationFromCombinatorDeclarationNode(combinatorDec
 export function referenceSubstitutionFromReferenceSubstitutionNode(referenceSubstitutionNode, generalContext, specificContext) {
   const { ReferenceSubstitution } = elements,
         node = referenceSubstitutionNode,  ///
-        context = specificContext,  ///
         contexts = [
           generalContext,
           specificContext
         ],
+        context = specificContext,  ///
         string = context.nodeAsString(node),
         breakPoint = null,
-        targetReference = targetReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, context),
-        replacementReference = replacementReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, context),
+        targetReference = targetReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, generalContext),
+        replacementReference = replacementReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, specificContext),
         referenceSubstitution = new ReferenceSubstitution(contexts, string, node, breakPoint, targetReference, replacementReference);
 
   return referenceSubstitution;
@@ -941,18 +942,17 @@ export function referenceSubstitutionFromReferenceSubstitutionNode(referenceSubs
 export function statementSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext) {
   const { StatementSubstitution } = elements,
         node = statementSubstitutionNode,  ///
-        context = specificContext,  ///
         contexts = [
           generalContext,
           specificContext
         ],
+        context = specificContext,  ///
         string = context.nodeAsString(node),
         breakPoint = null,
-        resolved = resolvedFromStatementSubstitutionNode(statementSubstitutionNode, context),
-        substitution = substitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext),
-        targetStatement = targetStatementFromStatementSubstitutionNode(statementSubstitutionNode, context),
-        replacementStatement = replacementStatementFromStatementSubstitutionNode(statementSubstitutionNode, context),
-        statementSubstitution = new StatementSubstitution(contexts, string, node, breakPoint, resolved, substitution, targetStatement, replacementStatement);
+        resolved = resolvedFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext),
+        targetStatement = targetStatementFromStatementSubstitutionNode(statementSubstitutionNode, generalContext),
+        replacementStatement = replacementStatementFromStatementSubstitutionNode(statementSubstitutionNode, specificContext),
+        statementSubstitution = new StatementSubstitution(contexts, string, node, breakPoint, resolved, targetStatement, replacementStatement);
 
   return statementSubstitution;
 }
@@ -1646,6 +1646,15 @@ export function metavariableFromReferenceNode(referenceNode, context) {
   return metavariable;
 }
 
+export function substitutionFromStatementNode(statementNode, context) {
+  const { FrameSubstitution, TermSubstitution } = elements,
+        frameSubstitution = FrameSubstitution.fromStatementNode(statementNode, context),
+        termSubstitution = TermSubstitution.fromStatementNode(statementNode, context),
+        substitution = (frameSubstitution || termSubstitution);
+
+  return substitution;
+}
+
 export function hypothesesFromConstructorNode(constructorNode, context) {
   const hypotheses = [];
 
@@ -1905,8 +1914,9 @@ export function negatedFromContainedAssertionNode(containedAssertionNode, contex
   return negated;
 }
 
-export function targetTermFromTermSubstitutionNode(termSubstitutionNode, context) {
-  const targetTermNode = termSubstitutionNode.getTargetTermNode(),
+export function targetTermFromTermSubstitutionNode(termSubstitutionNode, generalContext) {
+  const context = generalContext, ///
+        targetTermNode = termSubstitutionNode.getTargetTermNode(),
         targetTerm = termFromTermNode(targetTermNode, context);
 
   return targetTerm;
@@ -2090,8 +2100,9 @@ export function subjectTermFromPropertyAssertionNode(propertyAssertionNode, cont
   return subjectTerm;
 }
 
-export function targetFrameFromFrameSubstitutionNode(frameSubstitutionNode, context) {
-  const targetFrameNode = frameSubstitutionNode.getTargetFrameNode(),
+export function targetFrameFromFrameSubstitutionNode(frameSubstitutionNode, generalContext) {
+  const context = generalContext, ///
+        targetFrameNode = frameSubstitutionNode.getTargetFrameNode(),
         targetFrame = frameFromFrameNode(targetFrameNode, context);
 
   return targetFrame;
@@ -2143,7 +2154,7 @@ export function generatorFromGeneratorDeclarationNode(generatorDeclarationNode,
   return generator;
 }
 
-export function resolvedFromStatementSubstitutionNode(statementSubstitutionNode, context) {
+export function resolvedFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext) {
   const resolved = statementSubstitutionNode.isResolved();
 
   return resolved;
@@ -2168,8 +2179,9 @@ export function procedureReferenceFromProcedureCallNode(procedureCallNode, conte
   return procedureReference;
 }
 
-export function replacementTermFromTermSubstitutionNode(termSubstitutionNode, context) {
-  const replacementTermNode = termSubstitutionNode.getReplacementTermNode(),
+export function replacementTermFromTermSubstitutionNode(termSubstitutionNode, specificContext) {
+  const context = specificContext, //////
+        replacementTermNode = termSubstitutionNode.getReplacementTermNode(),
         replacementTerm = termFromTermNode(replacementTermNode, context);
 
   return replacementTerm;
@@ -2202,21 +2214,14 @@ export function metaTypeFromMetavariableDeclarationNode(metavariableDeclarationN
   return metaType;
 }
 
-export function replacementFrameFromFrameSubstitutionNode(frameSubstitutionNode, context) {
-  const replacementFrameNode = frameSubstitutionNode.getReplacementFrameNode(),
+export function replacementFrameFromFrameSubstitutionNode(frameSubstitutionNode, specificContext) {
+  const context = specificContext, ///
+        replacementFrameNode = frameSubstitutionNode.getReplacementFrameNode(),
         replacementFrame = frameFromFrameNode(replacementFrameNode, context);
 
   return replacementFrame;
 }
 
-export function substitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext) {
-  const frameSubstitution = frameSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext),
-        termSubstitution = termSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext),
-        substitution = (frameSubstitution || termSubstitution);
-
-  return substitution;
-}
-
 export function constructorFromConstructorDeclarationNode(constructorDeclarationNode, context) {
   const constructorNode = constructorDeclarationNode.getConstructorNode(),
         constructor = constructorFromConstructorNode(constructorNode, context);
@@ -2237,8 +2242,9 @@ export function metavariableFromMetavariableDeclarationNode(metavariableDeclarat
   return metavariable;
 }
 
-export function targetReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, context) {
+export function targetReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, generalContext) {
   const { Reference } = elements,
+        context = generalContext, ///
         targetReferenceNode = referenceSubstitutionNode.getTargetReferenceNode(),
         targetReferenceString = context.nodeAsString(targetReferenceNode),
         targetReference = Reference.fromReferenceString(targetReferenceString, context);
@@ -2246,8 +2252,9 @@ export function targetReferenceFromReferenceSubstitutionNode(referenceSubstituti
   return targetReference;
 }
 
-export function targetStatementFromStatementSubstitutionNode(statementSubstitutionNode, context) {
-  const targetStatementNode = statementSubstitutionNode.getTargetStatementNode(),
+export function targetStatementFromStatementSubstitutionNode(statementSubstitutionNode, generalContext) {
+  const context = generalContext, ///
+        targetStatementNode = statementSubstitutionNode.getTargetStatementNode(),
         targetStatement = statementFromStatementNode(targetStatementNode, context);
 
   return targetStatement;
@@ -2260,32 +2267,9 @@ export function propertyDeclarationsFromCotypeDeclarationNode(cotypeDeclarationN
   return propertyDeclarations;
 }
 
-export function termSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext) {
-  let termSubstitution = null;
-
-  const termSubstitutionNode = statementSubstitutionNode.getTermSubstitutionNode();
-
-  if (termSubstitutionNode !== null) {
-    termSubstitution = termSubstitutionFromTermSubstitutionNode(termSubstitutionNode, generalContext, specificContext);
-  }
-
-  return termSubstitution;
-}
-
-export function frameSubstitutionFromStatementSubstitutionNode(statementSubstitutionNode, generalContext, specificContext) {
-  let frameSubstitution = null;
-
-  const frameSubstitutionNode = statementSubstitutionNode.getFrameSubstitutionNode();
-
-  if (frameSubstitutionNode !== null) {
-    frameSubstitution = frameSubstitutionFromFrameSubstitutionNode(frameSubstitutionNode, generalContext, specificContext);
-  }
-
-  return frameSubstitution;
-}
-
-export function replacementReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, context) {
+export function replacementReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, specificContext) {
   const { Reference } = elements,
+        context = specificContext, ///
         replacementReferenceNode = referenceSubstitutionNode.getReplacementReferenceNode(),
         replacementReferenceString = context.nodeAsString(replacementReferenceNode),
         replacementReference = Reference.fromReferenceString(replacementReferenceString, context);
@@ -2293,8 +2277,9 @@ export function replacementReferenceFromReferenceSubstitutionNode(referenceSubst
   return replacementReference;
 }
 
-export function replacementStatementFromStatementSubstitutionNode(statementSubstitutionNode, context) {
-  const replacementStatementNode = statementSubstitutionNode.getReplacementStatementNode(),
+export function replacementStatementFromStatementSubstitutionNode(statementSubstitutionNode, specificContext) {
+  const context = specificContext, ///
+        replacementStatementNode = statementSubstitutionNode.getReplacementStatementNode(),
         replacementStatement = statementFromStatementNode(replacementStatementNode, context);
 
   return replacementStatement;