occam-verify-cli 0.0.908 → 0.0.910

package/src/step/metaproof.js

@@ -1,13 +1,5 @@
 "use strict";
 
-import { first, second } from "../utilities/array";
-import { matchMetastatement } from "../utilities/metaproof";
-import { nodeQuery, nodesQuery } from "../utilities/query";
-
-const metastatementNodesQuery = nodesQuery("/subproofAssertion/metastatement"),
-      ruleSubproofAssertionNodeQuery = nodeQuery("/metastatement/subproofAssertion"),
-      qualifiedOrUnqualifiedMetastatementMetastatementNodesQuery = nodesQuery("/ruleSubproof/qualifiedMetastatement|unqualifiedMetastatement/metastatement!");
-
 export default class MetaproofStep {
   constructor(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode) {
     this.statementNode = statementNode;
@@ -32,94 +24,41 @@ export default class MetaproofStep {
     return this.metastatementNode;
   }
 
-  match(metastatementNode) {
-    let matches = false;
-
-    if (!matches) {
-      const ruleSubproofAssertionNode = ruleSubproofAssertionNodeQuery(metastatementNode);
-
-      if (ruleSubproofAssertionNode !== null) {
-        const ruleSubproofAssertionMatches = this.matchRuleSubproofAssertion(ruleSubproofAssertionNode);
-
-        matches = ruleSubproofAssertionMatches;  ///
-      }
-    }
-
-    if (!matches) {
-      const metastatementMatches = this.matchMetastatement(metastatementNode);
-
-      matches = metastatementMatches; ///
-    }
-
-    return matches;
-  }
-
   matchMetastatement(metastatementNode) {
-    let metastatementMatches = false;
+    let matches = false;
 
     if (this.metastatementNode !== null) {
-      const metastatementNodeA = metastatementNode, ///
-            metastatementNodeB = this.metastatementNode;  ///
-
-      metastatementMatches = matchMetastatement(metastatementNodeA, metastatementNodeB);
+      matches = this.metastatementNode.match(metastatementNode);
     }
 
-    return metastatementMatches;
-  }
-
-  matchRuleSubproofAssertion(ruleSubproofAssertionNode) {
-    let ruleSubproofAssertionMatches = false;
-
-    if (this.ruleSubproofNode !== null) {
-      const ruleSubproofAssertionMetastatementNodes = metastatementNodesQuery(ruleSubproofAssertionNode),
-            firstRuleSubproofAssertionMetastatementNode = first(ruleSubproofAssertionMetastatementNodes),
-            qualifiedOrUnqualifiedMetastatementMetastatementNodes = qualifiedOrUnqualifiedMetastatementMetastatementNodesQuery(this.ruleSubproofNode),
-            firstQualifiedOrUnqualifiedMetastatementMetastatementNode = first(qualifiedOrUnqualifiedMetastatementMetastatementNodes);
-
-      const metastatementNodeA = firstRuleSubproofAssertionMetastatementNode,  ///
-            metastatementNodeB = firstQualifiedOrUnqualifiedMetastatementMetastatementNode, ///
-            metastatementMatches = matchMetastatement(metastatementNodeA, metastatementNodeB);
-
-      if (metastatementMatches) {
-        const secondRuleSubproofAssertionMetastatementNode = second(ruleSubproofAssertionMetastatementNodes),
-              secondQualifiedOrUnqualifiedMetastatementMetastatementNode = second(qualifiedOrUnqualifiedMetastatementMetastatementNodes);
-
-        const metastatementNodeA = secondRuleSubproofAssertionMetastatementNode, ///
-              metastatementNodeB = secondQualifiedOrUnqualifiedMetastatementMetastatementNode, ///
-              metastatementMatches = matchMetastatement(metastatementNodeA, metastatementNodeB);
-
-        ruleSubproofAssertionMatches = metastatementMatches; ///
-      }
-    }
-
-    return ruleSubproofAssertionMatches;
+    return matches;
   }
 
   static fromStatementNode(statementNode) {
     const ruleSubproofNode = null,
           metaSubproofNode = null,
           metastatementNode = null,
-          metaProofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
+          metaproofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
 
-    return metaProofStep;
+    return metaproofStep;
   }
 
   static fromRuleSubproofNode(ruleSubproofNode) {
     const statementNode = null,
           metaSubproofNode = null,
           metastatementNode = null,
-          metaProofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
+          metaproofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
 
-    return metaProofStep;
+    return metaproofStep;
   }
 
   static fromMetaSubproofNode(metaSubproofNode) {
     const statementNode = null,
           ruleSubproofNode = null,
           metastatementNode = null,
-          metaProofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
+          metaproofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
 
-    return metaProofStep;
+    return metaproofStep;
 
   }
 
@@ -127,8 +66,8 @@ export default class MetaproofStep {
     const statementNode = null,
           ruleSubproofNode = null,
           metaSubproofNode = null,
-          metaProofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
+          metaproofStep = new MetaproofStep(statementNode, ruleSubproofNode, metaSubproofNode, metastatementNode);
 
-    return metaProofStep;
+    return metaproofStep;
   }
 }

package/src/step/proof.js

@@ -1,8 +1,5 @@
 "use strict";
 
-import { META_ARGUMENT_RULE_NAME } from "../ruleNames";
-import { matchStatementModuloBrackets } from "../utilities/proof";
-
 export default class ProofStep {
   constructor(subproofNode, statementNode) {
     this.subproofNode = subproofNode;
@@ -17,42 +14,27 @@ export default class ProofStep {
     return this.statementNode;
   }
 
-  match(statementNode) {
-    let matches;
-
-    const statementMatches = this.matchStatement(statementNode);
-
-    matches = statementMatches; //
-
-    return matches;
-  }
-
   matchStatement(statementNode) {
-    let statementMatches = false;
+    let matches = false;
 
     if (this.statementNode !== null) {
-      const ruleName = META_ARGUMENT_RULE_NAME,
-            statementNodeA = statementNode, ///
-            statementNodeB = this.statementNode,  ///
-            statementMatchesModuloBrackets = matchStatementModuloBrackets(statementNodeA, statementNodeB, ruleName);
-
-      statementMatches = statementMatchesModuloBrackets;  ///
+      matches = this.statementNode.match(statementNode);
     }
 
-    return statementMatches;
+    return matches;
   }
 
   static fromSubproofNode(subproofNode) {
     const statementNode = null,
-          metaProofStep = new ProofStep(subproofNode, statementNode);
+          proofStep = new ProofStep(subproofNode, statementNode);
 
-    return metaProofStep;
+    return proofStep;
   }
 
   static fromStatementNode(statementNode) {
     const subproofNode = null,
-          metaProofStep = new ProofStep(subproofNode, statementNode);
+          proofStep = new ProofStep(subproofNode, statementNode);
 
-    return metaProofStep;
+    return proofStep;
   }
 }

package/src/substitution/metastatementForMetavariable.js

@@ -2,9 +2,9 @@
 
 import Substitution from "../substitution";
 
-import { bracketedMetastatementChildNodeFromMetastatementNode } from "../utilities/metaproof";
-import {nodeAsString} from "../utilities/string";
-import {metastatementNodeFromMetastatementString, metavariableNodeFromMetavariableString} from "../utilities/node";
+import { nodeAsString } from "../utilities/string";
+import { bracketedMetastatementChildNodeFromMetastatementNode } from "../utilities/match";
+import { metavariableNodeFromMetavariableString, metastatementNodeFromMetastatementString } from "../utilities/node";
 
 export default class MetastatementForMetavariableSubstitution extends Substitution {
   constructor(metavariableNode, metastatementNode) {

package/src/substitution/statementForMetavariable.js

@@ -4,7 +4,7 @@ import Substitution from "../substitution";
 import TermForVariableSubstitution from "./termForVariable";
 import verifyStatementAgainstStatement from "../verify/statementAtainstStatement";
 
-import { bracketedStatementChildNodeFromStatementNode } from "../utilities/proof";
+import { bracketedStatementChildNodeFromStatementNode } from "../utilities/match";
 
 export default class StatementForMetavariableSubstitution extends Substitution {
   constructor(metavariableNode, statementNode, substitution) {

package/src/utilities/match.js

@@ -0,0 +1,100 @@
+"use strict";
+
+import bracketedStatementNode from "../node/statement/bracketed";
+import bracketedMetastatementNode from "../node/metastatement/bracketed";
+
+import { nodeQuery } from "../utilities/query";
+import { BRACKETED_STATEMENT_DEPTH, BRACKETED_METASTATEMENT_DEPTH } from "../constants";
+
+const bracketedStatementChildNodeQuery = nodeQuery("/statement/metaArgument!/statement!"),
+      bracketedMetastatementChildNodeQuery = nodeQuery("/metastatement/metastatement!");
+
+export function matchStatementModuloBrackets(statementNodeA, statementNodeB) {
+  let statementMatchesModuloBrackets = false;
+
+  if (!statementMatchesModuloBrackets) {
+    const statementNodeMatches = statementNodeA.match(statementNodeB);
+
+    statementMatchesModuloBrackets = statementNodeMatches;  ///
+  }
+
+  if (!statementMatchesModuloBrackets) {
+    const bracketedStatementChildNodeA = bracketedStatementChildNodeFromStatementNode(statementNodeA);
+
+    if (bracketedStatementChildNodeA !== null) {
+      const bracketedStatementChildNodeAMatchStatementNodeB = bracketedStatementChildNodeA.match(statementNodeB);
+
+      statementMatchesModuloBrackets = bracketedStatementChildNodeAMatchStatementNodeB; ///
+    }
+  }
+
+  if (!statementMatchesModuloBrackets) {
+    const bracketedStatementChildNodeB = bracketedStatementChildNodeFromStatementNode(statementNodeB);
+
+    if (bracketedStatementChildNodeB !== null) {
+      const statementNodeAMatchBracketedStatementChildNodeB = statementNodeA.match(bracketedStatementChildNodeB);
+
+      statementMatchesModuloBrackets = statementNodeAMatchBracketedStatementChildNodeB; ///
+    }
+  }
+
+  return statementMatchesModuloBrackets;
+}
+
+export function matchMetastatementModuloBrackets(metastatementNodeA, metastatementNodeB) {
+  let metastatementMatches = false;
+
+  if (!metastatementMatches) {
+    const metastatementNodeMatches = metastatementNodeA.match(metastatementNodeB);
+
+    metastatementMatches = metastatementNodeMatches;  ///
+  }
+
+  if (!metastatementMatches) {
+    const bracketedMetastatementChildNodeA = bracketedMetastatementChildNodeFromMetastatementNode(metastatementNodeA);
+
+    if (bracketedMetastatementChildNodeA !== null) {
+      const bracketedMetastatementChildNodeAMatchesMetastatementNodeB = bracketedMetastatementChildNodeA.match(metastatementNodeB);
+
+      metastatementMatches = bracketedMetastatementChildNodeAMatchesMetastatementNodeB; ///
+    }
+  }
+
+  if (!metastatementMatches) {
+    const bracketedMetastatementChildNodeB = bracketedMetastatementChildNodeFromMetastatementNode(metastatementNodeB);
+
+    if (bracketedMetastatementChildNodeB !== null) {
+      const metastatementNodeAMatchesBracketedMetastatementChildNodeB = metastatementNodeA.match(bracketedMetastatementChildNodeB);
+
+      metastatementMatches = metastatementNodeAMatchesBracketedMetastatementChildNodeB; ///
+    }
+  }
+
+  return metastatementMatches;
+}
+
+export function bracketedStatementChildNodeFromStatementNode(statementNode) {
+  let bracketedStatementChildNode = null;
+
+  const depth = BRACKETED_STATEMENT_DEPTH,
+        statementNodeMatchBracketedStatementNode = statementNode.match(bracketedStatementNode, depth);
+
+  if (statementNodeMatchBracketedStatementNode) {
+    bracketedStatementChildNode = bracketedStatementChildNodeQuery(statementNode);
+  }
+
+  return bracketedStatementChildNode;
+}
+
+export function bracketedMetastatementChildNodeFromMetastatementNode(metastatementNode) {
+  let bracketedMetastatementChildNode = null;
+
+  const depth = BRACKETED_METASTATEMENT_DEPTH,
+        metastatementNodeMatchesBracketedMetastatementNode = metastatementNode.match(bracketedMetastatementNode, depth);
+
+  if (metastatementNodeMatchesBracketedMetastatementNode) {
+    bracketedMetastatementChildNode = bracketedMetastatementChildNodeQuery(metastatementNode);
+  }
+
+  return bracketedMetastatementChildNode;
+}

package/src/verify/metaDerivation.js

@@ -1,20 +1,20 @@
 "use strict";
 
-import verifyMetaProofStep from "../verify/metaProofStep";
+import verifyMetaproofStep from "../verify/metaproofStep";
 
 import { nodesQuery } from "../utilities/query";
 
-const metaProofStepNodesQuery = nodesQuery("/metaDerivation/metaProofStep|lastMetaProofStep");
+const metaproofStepNodesQuery = nodesQuery("/metaDerivation/metaproofStep|lastMetaproofStep");
 
 export default function verifyMetaDerivation(metaDerivationNode, substitutions, localMetaContext) {
   let metaDerivationVerified;
 
-  const metaProofStepNodes = metaProofStepNodesQuery(metaDerivationNode);
+  const metaproofStepNodes = metaproofStepNodesQuery(metaDerivationNode);
 
-  metaDerivationVerified = metaProofStepNodes.every((metaProofStepNode) => {
-    const metaProofStepVerified = verifyMetaProofStep(metaProofStepNode, substitutions, localMetaContext);
+  metaDerivationVerified = metaproofStepNodes.every((metaproofStepNode) => {
+    const metaproofStepVerified = verifyMetaproofStep(metaproofStepNode, substitutions, localMetaContext);
 
-    if (metaProofStepVerified) {
+    if (metaproofStepVerified) {
       return true;
     }
   });

package/src/verify/metaSubDerivation.js

@@ -2,18 +2,18 @@
 
 import { nodesQuery } from "../utilities/query";
 
-const metaProofStepNodesQuery = nodesQuery("/metaSubDerivation/metaProofStep|lastMetaProofStep");
+const metaproofStepNodesQuery = nodesQuery("/metaSubDerivation/metaproofStep|lastMetaproofStep");
 
 export default function verifyMetaSubDerivation(metaSubDerivationNode, substitutions, localMetaContext) {
   let metaSubDerivationVerified;
 
-  const metaProofStepNodes = metaProofStepNodesQuery(metaSubDerivationNode);
+  const metaproofStepNodes = metaproofStepNodesQuery(metaSubDerivationNode);
 
-  metaSubDerivationVerified = metaProofStepNodes.every((metaProofStepNode) => {
-    const { verifyMetaProofStep } = verifyMetaSubDerivation,
-          metaProofStepVerified = verifyMetaProofStep(metaProofStepNode, substitutions, localMetaContext);
+  metaSubDerivationVerified = metaproofStepNodes.every((metaproofStepNode) => {
+    const { verifyMetaproofStep } = verifyMetaSubDerivation,
+          metaproofStepVerified = verifyMetaproofStep(metaproofStepNode, substitutions, localMetaContext);
 
-    if (metaProofStepVerified) {
+    if (metaproofStepVerified) {
       return true;
     }
   });

package/src/verify/{metaProofStep.js → metaproofStep.js}

@@ -11,21 +11,21 @@ import verifyUnqualifiedMetastatement from "../verify/metastatement/unqualified"
 import { nodeQuery } from "../utilities/query";
 import { assignAssignment } from "../utilities/assignments";
 
-const metaSubproofNodeQuery = nodeQuery("/metaProofStep|lastMetaProofStep/metaSubproof!"),
+const metaSubproofNodeQuery = nodeQuery("/metaproofStep|lastMetaproofStep/metaSubproof!"),
       metastatementNodeQuery = nodeQuery("/qualifiedMetastatement|unqualifiedMetastatement/metastatement!"),
-      qualifiedStatementNodeQuery = nodeQuery("/metaProofStep|lastMetaProofStep/qualifiedStatement!"),
-      unqualifiedStatementNodeQuery = nodeQuery("/metaProofStep|lastMetaProofStep/unqualifiedStatement!"),
-      qualifiedMetastatementNodeQuery = nodeQuery("/metaProofStep|lastMetaProofStep/qualifiedMetastatement!"),
-      unqualifiedMetastatementNodeQuery = nodeQuery("/metaProofStep|lastMetaProofStep/unqualifiedMetastatement!");
+      qualifiedStatementNodeQuery = nodeQuery("/metaproofStep|lastMetaproofStep/qualifiedStatement!"),
+      unqualifiedStatementNodeQuery = nodeQuery("/metaproofStep|lastMetaproofStep/unqualifiedStatement!"),
+      qualifiedMetastatementNodeQuery = nodeQuery("/metaproofStep|lastMetaproofStep/qualifiedMetastatement!"),
+      unqualifiedMetastatementNodeQuery = nodeQuery("/metaproofStep|lastMetaproofStep/unqualifiedMetastatement!");
 
-export default function verifyMetaProofStep(metaProofStepNode, substitutions, localMetaContext) {
-  let metaProofStepVerified = false;
+export default function verifyMetaproofStep(metaproofStepNode, substitutions, localMetaContext) {
+  let metaproofStepVerified = false;
 
-  const metaSubproofNode = metaSubproofNodeQuery(metaProofStepNode),
-        qualifiedStatementNode = qualifiedStatementNodeQuery(metaProofStepNode),
-        unqualifiedStatementNode = unqualifiedStatementNodeQuery(metaProofStepNode),
-        qualifiedMetastatementNode = qualifiedMetastatementNodeQuery(metaProofStepNode),
-        unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(metaProofStepNode);
+  const metaSubproofNode = metaSubproofNodeQuery(metaproofStepNode),
+        qualifiedStatementNode = qualifiedStatementNodeQuery(metaproofStepNode),
+        unqualifiedStatementNode = unqualifiedStatementNodeQuery(metaproofStepNode),
+        qualifiedMetastatementNode = qualifiedMetastatementNodeQuery(metaproofStepNode),
+        unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(metaproofStepNode);
 
   if (false) {
     ///
@@ -39,7 +39,7 @@ export default function verifyMetaProofStep(metaProofStepNode, substitutions, lo
 
       localMetaContext.addMetaproofStep(metaproofStep);
 
-      metaProofStepVerified = true;
+      metaproofStepVerified = true;
     }
   } else if (qualifiedStatementNode !== null) {
     debugger
@@ -65,7 +65,7 @@ export default function verifyMetaProofStep(metaProofStepNode, substitutions, lo
 
       localMetaContext.addMetaproofStep(metaproofStep);
 
-      metaProofStepVerified = qualifiedMetastatementVerified; ///
+      metaproofStepVerified = qualifiedMetastatementVerified; ///
     }
   } else if (unqualifiedMetastatementNode !== null) {
     let unqualifiedMetastatementVerified;
@@ -88,13 +88,13 @@ export default function verifyMetaProofStep(metaProofStepNode, substitutions, lo
 
       localMetaContext.addMetaproofStep(metaproofStep);
 
-      metaProofStepVerified = true;
+      metaproofStepVerified = true;
     }
   }
 
-  return metaProofStepVerified;
+  return metaproofStepVerified;
 }
 
 Object.assign(verifyMetaSubDerivation, {
-  verifyMetaProofStep
+  verifyMetaproofStep
 });

package/src/verify/metastatement/unqualified.js

@@ -21,11 +21,7 @@ export default function verifyUnqualifiedMetastatement(unqualifiedMetastatementN
   }
 
   if (!unqualifiedMetastatementVerified) {
-    const metastatementVerified = verifyMetastatement(metastatementNode, assignments, derived, localMetaContext, () => {
-            const verifiedAhead = true;
-
-            return verifiedAhead;
-          });
+    const metastatementVerified = verifyMetastatement(metastatementNode, assignments, derived, localMetaContext);
 
     unqualifiedMetastatementVerified = metastatementVerified; ///
   }

package/lib/utilities/metaproof.js

@@ -1,59 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    bracketedMetastatementChildNodeFromMetastatementNode: function() {
-        return bracketedMetastatementChildNodeFromMetastatementNode;
-    },
-    matchMetastatement: function() {
-        return matchMetastatement;
-    }
-});
-var _bracketed = /*#__PURE__*/ _interop_require_default(require("../node/metastatement/bracketed"));
-var _query = require("../utilities/query");
-var _constants = require("../constants");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var bracketedMetastatementChildNodeQuery = (0, _query.nodeQuery)("/metastatement/metastatement!");
-function matchMetastatement(metastatementNodeA, metastatementNodeB) {
-    var metastatementMatches = false;
-    if (!metastatementMatches) {
-        var metastatementNodeMatches = metastatementNodeA.match(metastatementNodeB);
-        metastatementMatches = metastatementNodeMatches; ///
-    }
-    if (!metastatementMatches) {
-        var bracketedMetastatementChildNodeA = bracketedMetastatementChildNodeFromMetastatementNode(metastatementNodeA);
-        if (bracketedMetastatementChildNodeA !== null) {
-            var bracketedMetastatementChildNodeAMatchesMetastatementNodeB = bracketedMetastatementChildNodeA.match(metastatementNodeB);
-            metastatementMatches = bracketedMetastatementChildNodeAMatchesMetastatementNodeB; ///
-        }
-    }
-    if (!metastatementMatches) {
-        var bracketedMetastatementChildNodeB = bracketedMetastatementChildNodeFromMetastatementNode(metastatementNodeB);
-        if (bracketedMetastatementChildNodeB !== null) {
-            var metastatementNodeAMatchesBracketedMetastatementChildNodeB = metastatementNodeA.match(bracketedMetastatementChildNodeB);
-            metastatementMatches = metastatementNodeAMatchesBracketedMetastatementChildNodeB; ///
-        }
-    }
-    return metastatementMatches;
-}
-function bracketedMetastatementChildNodeFromMetastatementNode(metastatementNode) {
-    var bracketedMetastatementChildNode = null;
-    var depth = _constants.BRACKETED_METASTATEMENT_DEPTH, metastatementNodeMatchesBracketedMetastatementNode = metastatementNode.match(_bracketed.default, depth);
-    if (metastatementNodeMatchesBracketedMetastatementNode) {
-        bracketedMetastatementChildNode = bracketedMetastatementChildNodeQuery(metastatementNode);
-    }
-    return bracketedMetastatementChildNode;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbWV0YXByb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgYnJhY2tldGVkTWV0YXN0YXRlbWVudE5vZGUgZnJvbSBcIi4uL25vZGUvbWV0YXN0YXRlbWVudC9icmFja2V0ZWRcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgQlJBQ0tFVEVEX01FVEFTVEFURU1FTlRfREVQVEggfSBmcm9tIFwiLi4vY29uc3RhbnRzXCI7XG5cbmNvbnN0IGJyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9tZXRhc3RhdGVtZW50L21ldGFzdGF0ZW1lbnQhXCIpO1xuXG5leHBvcnQgZnVuY3Rpb24gbWF0Y2hNZXRhc3RhdGVtZW50KG1ldGFzdGF0ZW1lbnROb2RlQSwgbWV0YXN0YXRlbWVudE5vZGVCKSB7XG4gIGxldCBtZXRhc3RhdGVtZW50TWF0Y2hlcyA9IGZhbHNlO1xuXG4gIGlmICghbWV0YXN0YXRlbWVudE1hdGNoZXMpIHtcbiAgICBjb25zdCBtZXRhc3RhdGVtZW50Tm9kZU1hdGNoZXMgPSBtZXRhc3RhdGVtZW50Tm9kZUEubWF0Y2gobWV0YXN0YXRlbWVudE5vZGVCKTtcblxuICAgIG1ldGFzdGF0ZW1lbnRNYXRjaGVzID0gbWV0YXN0YXRlbWVudE5vZGVNYXRjaGVzOyAgLy8vXG4gIH1cblxuICBpZiAoIW1ldGFzdGF0ZW1lbnRNYXRjaGVzKSB7XG4gICAgY29uc3QgYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUEgPSBicmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlRnJvbU1ldGFzdGF0ZW1lbnROb2RlKG1ldGFzdGF0ZW1lbnROb2RlQSk7XG5cbiAgICBpZiAoYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUEgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IGJyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGVBTWF0Y2hlc01ldGFzdGF0ZW1lbnROb2RlQiA9IGJyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGVBLm1hdGNoKG1ldGFzdGF0ZW1lbnROb2RlQik7XG5cbiAgICAgIG1ldGFzdGF0ZW1lbnRNYXRjaGVzID0gYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUFNYXRjaGVzTWV0YXN0YXRlbWVudE5vZGVCOyAvLy9cbiAgICB9XG4gIH1cblxuICBpZiAoIW1ldGFzdGF0ZW1lbnRNYXRjaGVzKSB7XG4gICAgY29uc3QgYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUIgPSBicmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlRnJvbU1ldGFzdGF0ZW1lbnROb2RlKG1ldGFzdGF0ZW1lbnROb2RlQik7XG5cbiAgICBpZiAoYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUIgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IG1ldGFzdGF0ZW1lbnROb2RlQU1hdGNoZXNCcmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlQiA9IG1ldGFzdGF0ZW1lbnROb2RlQS5tYXRjaChicmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlQik7XG5cbiAgICAgIG1ldGFzdGF0ZW1lbnRNYXRjaGVzID0gbWV0YXN0YXRlbWVudE5vZGVBTWF0Y2hlc0JyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGVCOyAvLy9cbiAgICB9XG4gIH1cblxuICByZXR1cm4gbWV0YXN0YXRlbWVudE1hdGNoZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlRnJvbU1ldGFzdGF0ZW1lbnROb2RlKG1ldGFzdGF0ZW1lbnROb2RlKSB7XG4gIGxldCBicmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlID0gbnVsbDtcblxuICBjb25zdCBkZXB0aCA9IEJSQUNLRVRFRF9NRVRBU1RBVEVNRU5UX0RFUFRILFxuICAgICAgICBtZXRhc3RhdGVtZW50Tm9kZU1hdGNoZXNCcmFja2V0ZWRNZXRhc3RhdGVtZW50Tm9kZSA9IG1ldGFzdGF0ZW1lbnROb2RlLm1hdGNoKGJyYWNrZXRlZE1ldGFzdGF0ZW1lbnROb2RlLCBkZXB0aCk7XG5cbiAgaWYgKG1ldGFzdGF0ZW1lbnROb2RlTWF0Y2hlc0JyYWNrZXRlZE1ldGFzdGF0ZW1lbnROb2RlKSB7XG4gICAgYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZSA9IGJyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGVRdWVyeShtZXRhc3RhdGVtZW50Tm9kZSk7XG4gIH1cblxuICByZXR1cm4gYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRNZXRhc3RhdGVtZW50Q2hpbGROb2RlRnJvbU1ldGFzdGF0ZW1lbnROb2RlIiwibWF0Y2hNZXRhc3RhdGVtZW50IiwiYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwibWV0YXN0YXRlbWVudE5vZGVBIiwibWV0YXN0YXRlbWVudE5vZGVCIiwibWV0YXN0YXRlbWVudE1hdGNoZXMiLCJtZXRhc3RhdGVtZW50Tm9kZU1hdGNoZXMiLCJtYXRjaCIsImJyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGVBIiwiYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUFNYXRjaGVzTWV0YXN0YXRlbWVudE5vZGVCIiwiYnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUIiLCJtZXRhc3RhdGVtZW50Tm9kZUFNYXRjaGVzQnJhY2tldGVkTWV0YXN0YXRlbWVudENoaWxkTm9kZUIiLCJtZXRhc3RhdGVtZW50Tm9kZSIsImJyYWNrZXRlZE1ldGFzdGF0ZW1lbnRDaGlsZE5vZGUiLCJkZXB0aCIsIkJSQUNLRVRFRF9NRVRBU1RBVEVNRU5UX0RFUFRIIiwibWV0YXN0YXRlbWVudE5vZGVNYXRjaGVzQnJhY2tldGVkTWV0YXN0YXRlbWVudE5vZGUiLCJicmFja2V0ZWRNZXRhc3RhdGVtZW50Tm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBeUNnQkEsb0RBQW9EO2VBQXBEQTs7SUFoQ0FDLGtCQUFrQjtlQUFsQkE7OztnRUFQdUI7cUJBRWI7eUJBQ29COzs7Ozs7QUFFOUMsSUFBTUMsdUNBQXVDQyxJQUFBQSxnQkFBUyxFQUFDO0FBRWhELFNBQVNGLG1CQUFtQkcsa0JBQWtCLEVBQUVDLGtCQUFrQjtJQUN2RSxJQUFJQyx1QkFBdUI7SUFFM0IsSUFBSSxDQUFDQSxzQkFBc0I7UUFDekIsSUFBTUMsMkJBQTJCSCxtQkFBbUJJLEtBQUssQ0FBQ0g7UUFFMURDLHVCQUF1QkMsMEJBQTJCLEdBQUc7SUFDdkQ7SUFFQSxJQUFJLENBQUNELHNCQUFzQjtRQUN6QixJQUFNRyxtQ0FBbUNULHFEQUFxREk7UUFFOUYsSUFBSUsscUNBQXFDLE1BQU07WUFDN0MsSUFBTUMsNERBQTRERCxpQ0FBaUNELEtBQUssQ0FBQ0g7WUFFekdDLHVCQUF1QkksMkRBQTJELEdBQUc7UUFDdkY7SUFDRjtJQUVBLElBQUksQ0FBQ0osc0JBQXNCO1FBQ3pCLElBQU1LLG1DQUFtQ1gscURBQXFESztRQUU5RixJQUFJTSxxQ0FBcUMsTUFBTTtZQUM3QyxJQUFNQyw0REFBNERSLG1CQUFtQkksS0FBSyxDQUFDRztZQUUzRkwsdUJBQXVCTSwyREFBMkQsR0FBRztRQUN2RjtJQUNGO0lBRUEsT0FBT047QUFDVDtBQUVPLFNBQVNOLHFEQUFxRGEsaUJBQWlCO0lBQ3BGLElBQUlDLGtDQUFrQztJQUV0QyxJQUFNQyxRQUFRQyx3Q0FBNkIsRUFDckNDLHFEQUFxREosa0JBQWtCTCxLQUFLLENBQUNVLGtCQUEwQixFQUFFSDtJQUUvRyxJQUFJRSxvREFBb0Q7UUFDdERILGtDQUFrQ1oscUNBQXFDVztJQUN6RTtJQUVBLE9BQU9DO0FBQ1QifQ==

package/lib/utilities/proof.js

@@ -1,59 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    bracketedStatementChildNodeFromStatementNode: function() {
-        return bracketedStatementChildNodeFromStatementNode;
-    },
-    matchStatementModuloBrackets: function() {
-        return matchStatementModuloBrackets;
-    }
-});
-var _bracketed = /*#__PURE__*/ _interop_require_default(require("../node/statement/bracketed"));
-var _query = require("../utilities/query");
-var _constants = require("../constants");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var bracketedStatementChildNodeQuery = (0, _query.nodeQuery)("/statement/metaArgument!/statement!");
-function matchStatementModuloBrackets(statementNodeA, statementNodeB) {
-    var statementMatchesModuloBrackets = false;
-    if (!statementMatchesModuloBrackets) {
-        var statementNodeMatches = statementNodeA.match(statementNodeB);
-        statementMatchesModuloBrackets = statementNodeMatches; ///
-    }
-    if (!statementMatchesModuloBrackets) {
-        var bracketedStatementChildNodeA = bracketedStatementChildNodeFromStatementNode(statementNodeA);
-        if (bracketedStatementChildNodeA !== null) {
-            var bracketedStatementChildNodeAMatchStatementNodeB = bracketedStatementChildNodeA.match(statementNodeB);
-            statementMatchesModuloBrackets = bracketedStatementChildNodeAMatchStatementNodeB; ///
-        }
-    }
-    if (!statementMatchesModuloBrackets) {
-        var bracketedStatementChildNodeB = bracketedStatementChildNodeFromStatementNode(statementNodeB);
-        if (bracketedStatementChildNodeB !== null) {
-            var statementNodeAMatchBracketedStatementChildNodeB = statementNodeA.match(bracketedStatementChildNodeB);
-            statementMatchesModuloBrackets = statementNodeAMatchBracketedStatementChildNodeB; ///
-        }
-    }
-    return statementMatchesModuloBrackets;
-}
-function bracketedStatementChildNodeFromStatementNode(statementNode) {
-    var bracketedStatementChildNode = null;
-    var depth = _constants.BRACKETED_STATEMENT_DEPTH, statementNodeMatchBracketedStatementNode = statementNode.match(_bracketed.default, depth);
-    if (statementNodeMatchBracketedStatementNode) {
-        bracketedStatementChildNode = bracketedStatementChildNodeQuery(statementNode);
-    }
-    return bracketedStatementChildNode;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcHJvb2YuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBicmFja2V0ZWRTdGF0ZW1lbnROb2RlIGZyb20gXCIuLi9ub2RlL3N0YXRlbWVudC9icmFja2V0ZWRcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcblxuY29uc3QgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3RhdGVtZW50L21ldGFBcmd1bWVudCEvc3RhdGVtZW50IVwiKTtcblxuZXhwb3J0IGZ1bmN0aW9uIG1hdGNoU3RhdGVtZW50TW9kdWxvQnJhY2tldHMoc3RhdGVtZW50Tm9kZUEsIHN0YXRlbWVudE5vZGVCKSB7XG4gIGxldCBzdGF0ZW1lbnRNYXRjaGVzTW9kdWxvQnJhY2tldHMgPSBmYWxzZTtcblxuICBpZiAoIXN0YXRlbWVudE1hdGNoZXNNb2R1bG9CcmFja2V0cykge1xuICAgIGNvbnN0IHN0YXRlbWVudE5vZGVNYXRjaGVzID0gc3RhdGVtZW50Tm9kZUEubWF0Y2goc3RhdGVtZW50Tm9kZUIpO1xuXG4gICAgc3RhdGVtZW50TWF0Y2hlc01vZHVsb0JyYWNrZXRzID0gc3RhdGVtZW50Tm9kZU1hdGNoZXM7ICAvLy9cbiAgfVxuXG4gIGlmICghc3RhdGVtZW50TWF0Y2hlc01vZHVsb0JyYWNrZXRzKSB7XG4gICAgY29uc3QgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGVBKTtcblxuICAgIGlmIChicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBTWF0Y2hTdGF0ZW1lbnROb2RlQiA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUEubWF0Y2goc3RhdGVtZW50Tm9kZUIpO1xuXG4gICAgICBzdGF0ZW1lbnRNYXRjaGVzTW9kdWxvQnJhY2tldHMgPSBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBTWF0Y2hTdGF0ZW1lbnROb2RlQjsgLy8vXG4gICAgfVxuICB9XG5cbiAgaWYgKCFzdGF0ZW1lbnRNYXRjaGVzTW9kdWxvQnJhY2tldHMpIHtcbiAgICBjb25zdCBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVCID0gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZUIpO1xuXG4gICAgaWYgKGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUIgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHN0YXRlbWVudE5vZGVBTWF0Y2hCcmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVCID0gc3RhdGVtZW50Tm9kZUEubWF0Y2goYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQik7XG5cbiAgICAgIHN0YXRlbWVudE1hdGNoZXNNb2R1bG9CcmFja2V0cyA9IHN0YXRlbWVudE5vZGVBTWF0Y2hCcmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVCOyAvLy9cbiAgICB9XG4gIH1cblxuICByZXR1cm4gc3RhdGVtZW50TWF0Y2hlc01vZHVsb0JyYWNrZXRzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSkge1xuICBsZXQgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlID0gbnVsbDtcblxuICBjb25zdCBkZXB0aCA9IEJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEgsXG4gICAgICAgIHN0YXRlbWVudE5vZGVNYXRjaEJyYWNrZXRlZFN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlLm1hdGNoKGJyYWNrZXRlZFN0YXRlbWVudE5vZGUsIGRlcHRoKTtcblxuICBpZiAoc3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkU3RhdGVtZW50Tm9kZSkge1xuICAgIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZVF1ZXJ5KHN0YXRlbWVudE5vZGUpO1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVGcm9tU3RhdGVtZW50Tm9kZSIsIm1hdGNoU3RhdGVtZW50TW9kdWxvQnJhY2tldHMiLCJicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInN0YXRlbWVudE5vZGVBIiwic3RhdGVtZW50Tm9kZUIiLCJzdGF0ZW1lbnRNYXRjaGVzTW9kdWxvQnJhY2tldHMiLCJzdGF0ZW1lbnROb2RlTWF0Y2hlcyIsIm1hdGNoIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQSIsImJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUFNYXRjaFN0YXRlbWVudE5vZGVCIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQiIsInN0YXRlbWVudE5vZGVBTWF0Y2hCcmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVCIiwic3RhdGVtZW50Tm9kZSIsImJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZSIsImRlcHRoIiwiQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCIsInN0YXRlbWVudE5vZGVNYXRjaEJyYWNrZXRlZFN0YXRlbWVudE5vZGUiLCJicmFja2V0ZWRTdGF0ZW1lbnROb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7SUF5Q2dCQSw0Q0FBNEM7ZUFBNUNBOztJQWhDQUMsNEJBQTRCO2VBQTVCQTs7O2dFQVBtQjtxQkFFVDt5QkFDZ0I7Ozs7OztBQUUxQyxJQUFNQyxtQ0FBbUNDLElBQUFBLGdCQUFTLEVBQUM7QUFFNUMsU0FBU0YsNkJBQTZCRyxjQUFjLEVBQUVDLGNBQWM7SUFDekUsSUFBSUMsaUNBQWlDO0lBRXJDLElBQUksQ0FBQ0EsZ0NBQWdDO1FBQ25DLElBQU1DLHVCQUF1QkgsZUFBZUksS0FBSyxDQUFDSDtRQUVsREMsaUNBQWlDQyxzQkFBdUIsR0FBRztJQUM3RDtJQUVBLElBQUksQ0FBQ0QsZ0NBQWdDO1FBQ25DLElBQU1HLCtCQUErQlQsNkNBQTZDSTtRQUVsRixJQUFJSyxpQ0FBaUMsTUFBTTtZQUN6QyxJQUFNQyxrREFBa0RELDZCQUE2QkQsS0FBSyxDQUFDSDtZQUUzRkMsaUNBQWlDSSxpREFBaUQsR0FBRztRQUN2RjtJQUNGO0lBRUEsSUFBSSxDQUFDSixnQ0FBZ0M7UUFDbkMsSUFBTUssK0JBQStCWCw2Q0FBNkNLO1FBRWxGLElBQUlNLGlDQUFpQyxNQUFNO1lBQ3pDLElBQU1DLGtEQUFrRFIsZUFBZUksS0FBSyxDQUFDRztZQUU3RUwsaUNBQWlDTSxpREFBaUQsR0FBRztRQUN2RjtJQUNGO0lBRUEsT0FBT047QUFDVDtBQUVPLFNBQVNOLDZDQUE2Q2EsYUFBYTtJQUN4RSxJQUFJQyw4QkFBOEI7SUFFbEMsSUFBTUMsUUFBUUMsb0NBQXlCLEVBQ2pDQywyQ0FBMkNKLGNBQWNMLEtBQUssQ0FBQ1Usa0JBQXNCLEVBQUVIO0lBRTdGLElBQUlFLDBDQUEwQztRQUM1Q0gsOEJBQThCWixpQ0FBaUNXO0lBQ2pFO0lBRUEsT0FBT0M7QUFDVCJ9

package/src/utilities/metaproof.js

@@ -1,53 +0,0 @@
-"use strict";
-
-import bracketedMetastatementNode from "../node/metastatement/bracketed";
-
-import { nodeQuery } from "../utilities/query";
-import { BRACKETED_METASTATEMENT_DEPTH } from "../constants";
-
-const bracketedMetastatementChildNodeQuery = nodeQuery("/metastatement/metastatement!");
-
-export function matchMetastatement(metastatementNodeA, metastatementNodeB) {
-  let metastatementMatches = false;
-
-  if (!metastatementMatches) {
-    const metastatementNodeMatches = metastatementNodeA.match(metastatementNodeB);
-
-    metastatementMatches = metastatementNodeMatches;  ///
-  }
-
-  if (!metastatementMatches) {
-    const bracketedMetastatementChildNodeA = bracketedMetastatementChildNodeFromMetastatementNode(metastatementNodeA);
-
-    if (bracketedMetastatementChildNodeA !== null) {
-      const bracketedMetastatementChildNodeAMatchesMetastatementNodeB = bracketedMetastatementChildNodeA.match(metastatementNodeB);
-
-      metastatementMatches = bracketedMetastatementChildNodeAMatchesMetastatementNodeB; ///
-    }
-  }
-
-  if (!metastatementMatches) {
-    const bracketedMetastatementChildNodeB = bracketedMetastatementChildNodeFromMetastatementNode(metastatementNodeB);
-
-    if (bracketedMetastatementChildNodeB !== null) {
-      const metastatementNodeAMatchesBracketedMetastatementChildNodeB = metastatementNodeA.match(bracketedMetastatementChildNodeB);
-
-      metastatementMatches = metastatementNodeAMatchesBracketedMetastatementChildNodeB; ///
-    }
-  }
-
-  return metastatementMatches;
-}
-
-export function bracketedMetastatementChildNodeFromMetastatementNode(metastatementNode) {
-  let bracketedMetastatementChildNode = null;
-
-  const depth = BRACKETED_METASTATEMENT_DEPTH,
-        metastatementNodeMatchesBracketedMetastatementNode = metastatementNode.match(bracketedMetastatementNode, depth);
-
-  if (metastatementNodeMatchesBracketedMetastatementNode) {
-    bracketedMetastatementChildNode = bracketedMetastatementChildNodeQuery(metastatementNode);
-  }
-
-  return bracketedMetastatementChildNode;
-}