occam-verify-cli 1.0.192 → 1.0.198

package/lib/utilities/node.js

@@ -9,156 +9,6 @@ function _export(target, all) {
     });
 }
 _export(exports, {
-    get isNodeAxiomNode () {
-        return isNodeAxiomNode;
-    },
-    get isNodeCombinatorDeclarationNode () {
-        return isNodeCombinatorDeclarationNode;
-    },
-    get isNodeCombinatorNode () {
-        return isNodeCombinatorNode;
-    },
-    get isNodeComplexTypeDeclarationNode () {
-        return isNodeComplexTypeDeclarationNode;
-    },
-    get isNodeConclusionNode () {
-        return isNodeConclusionNode;
-    },
-    get isNodeConjectureNode () {
-        return isNodeConjectureNode;
-    },
-    get isNodeConstructorDeclarationNode () {
-        return isNodeConstructorDeclarationNode;
-    },
-    get isNodeConstructorNode () {
-        return isNodeConstructorNode;
-    },
-    get isNodeContainedAssertionNode () {
-        return isNodeContainedAssertionNode;
-    },
-    get isNodeDeclarationNode () {
-        return isNodeDeclarationNode;
-    },
-    get isNodeDeductionNode () {
-        return isNodeDeductionNode;
-    },
-    get isNodeDefinedAssertionNode () {
-        return isNodeDefinedAssertionNode;
-    },
-    get isNodeDerivationNode () {
-        return isNodeDerivationNode;
-    },
-    get isNodeEqualityNode () {
-        return isNodeEqualityNode;
-    },
-    get isNodeErrorNode () {
-        return isNodeErrorNode;
-    },
-    get isNodeFrameNode () {
-        return isNodeFrameNode;
-    },
-    get isNodeJudgementNode () {
-        return isNodeJudgementNode;
-    },
-    get isNodeLabelNode () {
-        return isNodeLabelNode;
-    },
-    get isNodeLabelsNode () {
-        return isNodeLabelsNode;
-    },
-    get isNodeLemmaNode () {
-        return isNodeLemmaNode;
-    },
-    get isNodeMetaLemmaNode () {
-        return isNodeMetaLemmaNode;
-    },
-    get isNodeMetaTypeNode () {
-        return isNodeMetaTypeNode;
-    },
-    get isNodeMetatheoremNode () {
-        return isNodeMetatheoremNode;
-    },
-    get isNodeMetavariableDeclarationNode () {
-        return isNodeMetavariableDeclarationNode;
-    },
-    get isNodeMetavariableNode () {
-        return isNodeMetavariableNode;
-    },
-    get isNodeParameterNode () {
-        return isNodeParameterNode;
-    },
-    get isNodeParenthesisedLabelsNode () {
-        return isNodeParenthesisedLabelsNode;
-    },
-    get isNodePremiseNode () {
-        return isNodePremiseNode;
-    },
-    get isNodeProcedureCallNode () {
-        return isNodeProcedureCallNode;
-    },
-    get isNodeProofNode () {
-        return isNodeProofNode;
-    },
-    get isNodePropertyAssertionNode () {
-        return isNodePropertyAssertionNode;
-    },
-    get isNodePropertyDeclarationNode () {
-        return isNodePropertyDeclarationNode;
-    },
-    get isNodePropertyNode () {
-        return isNodePropertyNode;
-    },
-    get isNodePropertyRelationNode () {
-        return isNodePropertyRelationNode;
-    },
-    get isNodeReferenceNode () {
-        return isNodeReferenceNode;
-    },
-    get isNodeRuleNode () {
-        return isNodeRuleNode;
-    },
-    get isNodeSatisfiesAssertionNode () {
-        return isNodeSatisfiesAssertionNode;
-    },
-    get isNodeStatementNode () {
-        return isNodeStatementNode;
-    },
-    get isNodeStepNode () {
-        return isNodeStepNode;
-    },
-    get isNodeSubDerivationNode () {
-        return isNodeSubDerivationNode;
-    },
-    get isNodeSubproofAssertionNode () {
-        return isNodeSubproofAssertionNode;
-    },
-    get isNodeSubproofNode () {
-        return isNodeSubproofNode;
-    },
-    get isNodeSuppositionNode () {
-        return isNodeSuppositionNode;
-    },
-    get isNodeTermNode () {
-        return isNodeTermNode;
-    },
-    get isNodeTheoremNode () {
-        return isNodeTheoremNode;
-    },
-    get isNodeTypeAssertionNode () {
-        return isNodeTypeAssertionNode;
-    },
-    get isNodeTypeDeclarationNode () {
-        return isNodeTypeDeclarationNode;
-    },
-    get isNodeTypeNode () {
-        return isNodeTypeNode;
-    },
-    get isNodeVariableDeclarationNode () {
-        return isNodeVariableDeclarationNode;
-    },
-    get isNodeVariableNode () {
-        return isNodeVariableNode;
-    },
     get statementFromStatementNode () {
         return statementFromStatementNode;
     },
@@ -171,162 +21,11 @@ _export(exports, {
 });
 var _dom = /*#__PURE__*/ _interop_require_default(require("../dom"));
 var _type = require("../dom/type");
-var _ruleNames = require("../ruleNames");
 function _interop_require_default(obj) {
     return obj && obj.__esModule ? obj : {
         default: obj
     };
 }
-function isNodeRuleNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.RULE_RULE_NAME);
-}
-function isNodeStepNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.STEP_RULE_NAME);
-}
-function isNodeTermNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.TERM_RULE_NAME);
-}
-function isNodeTypeNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.TYPE_RULE_NAME);
-}
-function isNodeLemmaNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.LEMMA_RULE_NAME);
-}
-function isNodeAxiomNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.AXIOM_RULE_NAME);
-}
-function isNodeErrorNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.ERROR_RULE_NAME);
-}
-function isNodeFrameNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.FRAME_RULE_NAME);
-}
-function isNodeProofNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PROOF_RULE_NAME);
-}
-function isNodeLabelNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.LABEL_RULE_NAME);
-}
-function isNodeLabelsNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.LABELS_RULE_NAME);
-}
-function isNodeTheoremNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.THEOREM_RULE_NAME);
-}
-function isNodePremiseNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PREMISE_RULE_NAME);
-}
-function isNodePropertyNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PROPERTY_RULE_NAME);
-}
-function isNodeEqualityNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.EQUALITY_RULE_NAME);
-}
-function isNodeVariableNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.VARIABLE_RULE_NAME);
-}
-function isNodeSubproofNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.SUBPROOF_RULE_NAME);
-}
-function isNodeMetaTypeNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.META_TYPE_RULE_NAME);
-}
-function isNodeParameterNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PARAMETER_RULE_NAME);
-}
-function isNodeDeductionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.DEDUCTION_RULE_NAME);
-}
-function isNodeJudgementNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.JUDGEMENT_RULE_NAME);
-}
-function isNodeReferenceNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.REFERENCE_RULE_NAME);
-}
-function isNodeStatementNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.STATEMENT_RULE_NAME);
-}
-function isNodeMetaLemmaNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.META_LEMMA_RULE_NAME);
-}
-function isNodeCombinatorNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.COMBINATOR_RULE_NAME);
-}
-function isNodeConclusionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.CONCLUSION_RULE_NAME);
-}
-function isNodeConjectureNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.CONJECTURE_RULE_NAME);
-}
-function isNodeDerivationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.DERIVATION_RULE_NAME);
-}
-function isNodeSuppositionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.SUPPOSITION_RULE_NAME);
-}
-function isNodeConstructorNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.CONSTRUCTOR_RULE_NAME);
-}
-function isNodeDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.DECLARATION_RULE_NAME);
-}
-function isNodeMetatheoremNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.METATHEOREM_RULE_NAME);
-}
-function isNodeMetavariableNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.METAVARIABLE_RULE_NAME);
-}
-function isNodeProcedureCallNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PROCEDURE_CALL_RULE_NAME);
-}
-function isNodeSubDerivationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.SUB_DERIVATION_RULE_NAME);
-}
-function isNodeTypeAssertionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.TYPE_ASSERTION_RULE_NAME);
-}
-function isNodeTypeDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.TYPE_DECLARATION_RULE_NAME);
-}
-function isNodePropertyRelationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PROPERTY_RELATION_RULE_NAME);
-}
-function isNodeDefinedAssertionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.DEFINED_ASSERTION_RULE_NAME);
-}
-function isNodePropertyAssertionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PROPERTY_ASSERTION_RULE_NAME);
-}
-function isNodeSubproofAssertionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.SUBPROOF_ASSERTION_RULE_NAME);
-}
-function isNodeContainedAssertionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.CONTAINED_ASSERTION_RULE_NAME);
-}
-function isNodeSatisfiesAssertionNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.SATISFIES_ASSERTION_RULE_NAME);
-}
-function isNodePropertyDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PROPERTY_DECLARATION_RULE_NAME);
-}
-function isNodeVariableDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.VARIABLE_DECLARATION_RULE_NAME);
-}
-function isNodeParenthesisedLabelsNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.PARENTHESISED_LABELS_RULE_NAME);
-}
-function isNodeCombinatorDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.COMBINATOR_DECLARATION_RULE_NAME);
-}
-function isNodeConstructorDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME);
-}
-function isNodeComplexTypeDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME);
-}
-function isNodeMetavariableDeclarationNode(node) {
-    return isNodeRuleNodeByRuleName(node, _ruleNames.METAVARIABLE_DECLARATION_RULE_NAME);
-}
 function typeFromTypeNode(typeNode) {
     var type;
     if (typeNode === null) {
@@ -345,16 +44,5 @@ function statementFromStatementNode(statementNode, context) {
     var Statement = _dom.default.Statement, node = statementNode, tokens = context.nodeAsTokens(node), string = context.tokensAsString(tokens), statement = new Statement(string, node, tokens);
     return statement;
 }
-function isNodeRuleNodeByRuleName(node, ruleName) {
-    var nodeRuleNode = false;
-    var nodeNonTerminalNode = node.isNonTerminalNode();
-    if (nodeNonTerminalNode) {
-        var nonTerminalNode = node, nonTerminalNodeRuleName = nonTerminalNode.getRuleName(), nonTerminalNodeRuleNameRuleName = nonTerminalNodeRuleName === ruleName;
-        if (nonTerminalNodeRuleNameRuleName) {
-            nodeRuleNode = true;
-        }
-    }
-    return nodeRuleNode;
-}
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9kZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGRvbSBmcm9tIFwiLi4vZG9tXCI7XG5cbmltcG9ydCB7IG9iamVjdFR5cGUgfSBmcm9tIFwiLi4vZG9tL3R5cGVcIjtcbmltcG9ydCB7IFJVTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgRVJST1JfUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxTX1JVTEVfTkFNRSxcbiAgICAgICAgIFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9SVUxFX05BTUUsXG4gICAgICAgICBFUVVBTElUWV9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgUEFSQU1FVEVSX1JVTEVfTkFNRSxcbiAgICAgICAgIERFRFVDVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBKVURHRU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX0xFTU1BX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTUJJTkFUT1JfUlVMRV9OQU1FLFxuICAgICAgICAgQ09OQ0xVU0lPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05KRUNUVVJFX1JVTEVfTkFNRSxcbiAgICAgICAgIERFUklWQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1VQUE9TSVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09OU1RSVUNUT1JfUlVMRV9OQU1FLFxuICAgICAgICAgREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FLFxuICAgICAgICAgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVJ1bGVOb2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBSVUxFX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVN0ZXBOb2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBTVEVQX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVRlcm1Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBURVJNX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVR5cGVOb2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBUWVBFX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUxlbW1hTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgTEVNTUFfUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlQXhpb21Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBBWElPTV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVFcnJvck5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIEVSUk9SX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUZyYW1lTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgRlJBTUVfUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlUHJvb2ZOb2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBQUk9PRl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVMYWJlbE5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIExBQkVMX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUxhYmVsc05vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIExBQkVMU19SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVUaGVvcmVtTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgVEhFT1JFTV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVQcmVtaXNlTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgUFJFTUlTRV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVQcm9wZXJ0eU5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFBST1BFUlRZX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUVxdWFsaXR5Tm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgRVFVQUxJVFlfUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlVmFyaWFibGVOb2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBWQVJJQUJMRV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVTdWJwcm9vZk5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFNVQlBST09GX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZU1ldGFUeXBlTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgTUVUQV9UWVBFX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVBhcmFtZXRlck5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFBBUkFNRVRFUl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVEZWR1Y3Rpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBERURVQ1RJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlSnVkZ2VtZW50Tm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgSlVER0VNRU5UX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVJlZmVyZW5jZU5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFJFRkVSRU5DRV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVTdGF0ZW1lbnROb2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBTVEFURU1FTlRfUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlTWV0YUxlbW1hTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgTUVUQV9MRU1NQV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVDb21iaW5hdG9yTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgQ09NQklOQVRPUl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVDb25jbHVzaW9uTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgQ09OQ0xVU0lPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVDb25qZWN0dXJlTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgQ09OSkVDVFVSRV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVEZXJpdmF0aW9uTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgREVSSVZBVElPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVTdXBwb3NpdGlvbk5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFNVUFBPU0lUSU9OX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUNvbnN0cnVjdG9yTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgQ09OU1RSVUNUT1JfUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlRGVjbGFyYXRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBERUNMQVJBVElPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVNZXRhdGhlb3JlbU5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIE1FVEFUSEVPUkVNX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZU1ldGF2YXJpYWJsZU5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVQcm9jZWR1cmVDYWxsTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlU3ViRGVyaXZhdGlvbk5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVR5cGVBc3NlcnRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVUeXBlRGVjbGFyYXRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBUWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVByb3BlcnR5UmVsYXRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVEZWZpbmVkQXNzZXJ0aW9uTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlUHJvcGVydHlBc3NlcnRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlU3VicHJvb2ZBc3NlcnRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlQ29udGFpbmVkQXNzZXJ0aW9uTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZVByb3BlcnR5RGVjbGFyYXRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpc05vZGVWYXJpYWJsZURlY2xhcmF0aW9uTm9kZShub2RlKSB7IHJldHVybiBpc05vZGVSdWxlTm9kZUJ5UnVsZU5hbWUobm9kZSwgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlUGFyZW50aGVzaXNlZExhYmVsc05vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIFBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIENPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUobm9kZSkgeyByZXR1cm4gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGlzTm9kZUNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaXNOb2RlTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlKG5vZGUpIHsgcmV0dXJuIGlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZShub2RlLCBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FKTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gdHlwZUZyb21UeXBlTm9kZSh0eXBlTm9kZSkge1xuICBsZXQgdHlwZTtcblxuICBpZiAodHlwZU5vZGUgPT09IG51bGwpIHtcbiAgICB0eXBlID0gb2JqZWN0VHlwZTtcbiAgfSBlbHNlIHtcbiAgICBjb25zdCB7IFR5cGUgfSA9IGRvbSxcbiAgICAgICAgICB0eXBlTmFtZSA9IHR5cGVOb2RlLmdldFR5cGVOYW1lKCksXG4gICAgICAgICAgbmFtZSA9IHR5cGVOYW1lLCAgLy8vXG4gICAgICAgICAgc3RyaW5nID0gbmFtZSwgIC8vL1xuICAgICAgICAgIHN1cGVyVHlwZXMgPSBudWxsLFxuICAgICAgICAgIHByb3BlcnRpZXMgPSBudWxsLFxuICAgICAgICAgIHByb3Zpc2lvbmFsID0gbnVsbDtcblxuICAgIHR5cGUgPSBuZXcgVHlwZShzdHJpbmcsIG5hbWUsIHN1cGVyVHlwZXMsIHByb3BlcnRpZXMsIHByb3Zpc2lvbmFsKTtcbiAgfVxuXG4gIHJldHVybiB0eXBlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdGVybUZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCkge1xuICBjb25zdCB7IFRlcm0gfSA9IGRvbSxcbiAgICAgICAgbm9kZSA9IHRlcm1Ob2RlLCAgLy8vXG4gICAgICAgIHN0cmluZyA9IGNvbnRleHQubm9kZUFzU3RyaW5nKG5vZGUpLFxuICAgICAgICB0eXBlID0gbnVsbCxcbiAgICAgICAgdGVybSA9IG5ldyBUZXJtKHN0cmluZywgbm9kZSwgdHlwZSk7XG5cbiAgcmV0dXJuIHRlcm07XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdGF0ZW1lbnRGcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KSB7XG4gIGNvbnN0IHsgU3RhdGVtZW50IH0gPSBkb20sXG4gICAgICAgIG5vZGUgPSBzdGF0ZW1lbnROb2RlLCAvLy9cbiAgICAgICAgdG9rZW5zID0gY29udGV4dC5ub2RlQXNUb2tlbnMobm9kZSksXG4gICAgICAgIHN0cmluZyA9IGNvbnRleHQudG9rZW5zQXNTdHJpbmcodG9rZW5zKSxcbiAgICAgICAgc3RhdGVtZW50ID0gbmV3IFN0YXRlbWVudChzdHJpbmcsIG5vZGUsIHRva2Vucyk7XG5cbiAgcmV0dXJuIHN0YXRlbWVudDtcbn1cblxuZnVuY3Rpb24gaXNOb2RlUnVsZU5vZGVCeVJ1bGVOYW1lKG5vZGUsIHJ1bGVOYW1lKSB7XG4gIGxldCBub2RlUnVsZU5vZGUgPSBmYWxzZTtcblxuICBjb25zdCBub2RlTm9uVGVybWluYWxOb2RlID0gbm9kZS5pc05vblRlcm1pbmFsTm9kZSgpO1xuXG4gIGlmIChub2RlTm9uVGVybWluYWxOb2RlKSB7XG4gICAgY29uc3Qgbm9uVGVybWluYWxOb2RlID0gbm9kZSwgLy8vXG4gICAgICAgICAgbm9uVGVybWluYWxOb2RlUnVsZU5hbWUgPSBub25UZXJtaW5hbE5vZGUuZ2V0UnVsZU5hbWUoKSxcbiAgICAgICAgICBub25UZXJtaW5hbE5vZGVSdWxlTmFtZVJ1bGVOYW1lID0gKG5vblRlcm1pbmFsTm9kZVJ1bGVOYW1lID09PSBydWxlTmFtZSk7XG5cbiAgICBpZiAobm9uVGVybWluYWxOb2RlUnVsZU5hbWVSdWxlTmFtZSkge1xuICAgICAgbm9kZVJ1bGVOb2RlID0gdHJ1ZTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gbm9kZVJ1bGVOb2RlO1xufVxuIl0sIm5hbWVzIjpbImlzTm9kZUF4aW9tTm9kZSIsImlzTm9kZUNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJpc05vZGVDb21iaW5hdG9yTm9kZSIsImlzTm9kZUNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIiwiaXNOb2RlQ29uY2x1c2lvbk5vZGUiLCJpc05vZGVDb25qZWN0dXJlTm9kZSIsImlzTm9kZUNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIiwiaXNOb2RlQ29uc3RydWN0b3JOb2RlIiwiaXNOb2RlQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsImlzTm9kZURlY2xhcmF0aW9uTm9kZSIsImlzTm9kZURlZHVjdGlvbk5vZGUiLCJpc05vZGVEZWZpbmVkQXNzZXJ0aW9uTm9kZSIsImlzTm9kZURlcml2YXRpb25Ob2RlIiwiaXNOb2RlRXF1YWxpdHlOb2RlIiwiaXNOb2RlRXJyb3JOb2RlIiwiaXNOb2RlRnJhbWVOb2RlIiwiaXNOb2RlSnVkZ2VtZW50Tm9kZSIsImlzTm9kZUxhYmVsTm9kZSIsImlzTm9kZUxhYmVsc05vZGUiLCJpc05vZGVMZW1tYU5vZGUiLCJpc05vZGVNZXRhTGVtbWFOb2RlIiwiaXNOb2RlTWV0YVR5cGVOb2RlIiwiaXNOb2RlTWV0YXRoZW9yZW1Ob2RlIiwiaXNOb2RlTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiaXNOb2RlTWV0YXZhcmlhYmxlTm9kZSIsImlzTm9kZVBhcmFtZXRlck5vZGUiLCJpc05vZGVQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsImlzTm9kZVByZW1pc2VOb2RlIiwiaXNOb2RlUHJvY2VkdXJlQ2FsbE5vZGUiLCJpc05vZGVQcm9vZk5vZGUiLCJpc05vZGVQcm9wZXJ0eUFzc2VydGlvbk5vZGUiLCJpc05vZGVQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSIsImlzTm9kZVByb3BlcnR5Tm9kZSIsImlzTm9kZVByb3BlcnR5UmVsYXRpb25Ob2RlIiwiaXNOb2RlUmVmZXJlbmNlTm9kZSIsImlzTm9kZVJ1bGVOb2RlIiwiaXNOb2RlU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSIsImlzTm9kZVN0YXRlbWVudE5vZGUiLCJpc05vZGVTdGVwTm9kZSIsImlzTm9kZVN1YkRlcml2YXRpb25Ob2RlIiwiaXNOb2RlU3VicHJvb2ZBc3NlcnRpb25Ob2RlIiwiaXNOb2RlU3VicHJvb2ZOb2RlIiwiaXNOb2RlU3VwcG9zaXRpb25Ob2RlIiwiaXNOb2RlVGVybU5vZGUiLCJpc05vZGVUaGVvcmVtTm9kZSIsImlzTm9kZVR5cGVBc3NlcnRpb25Ob2RlIiwiaXNOb2RlVHlwZURlY2xhcmF0aW9uTm9kZSIsImlzTm9kZVR5cGVOb2RlIiwiaXNOb2RlVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJpc05vZGVWYXJpYWJsZU5vZGUiLCJzdGF0ZW1lbnRGcm9tU3RhdGVtZW50Tm9kZSIsInRlcm1Gcm9tVGVybU5vZGUiLCJ0eXBlRnJvbVR5cGVOb2RlIiwibm9kZSIsImlzTm9kZVJ1bGVOb2RlQnlSdWxlTmFtZSIsIlJVTEVfUlVMRV9OQU1FIiwiU1RFUF9SVUxFX05BTUUiLCJURVJNX1JVTEVfTkFNRSIsIlRZUEVfUlVMRV9OQU1FIiwiTEVNTUFfUlVMRV9OQU1FIiwiQVhJT01fUlVMRV9OQU1FIiwiRVJST1JfUlVMRV9OQU1FIiwiRlJBTUVfUlVMRV9OQU1FIiwiUFJPT0ZfUlVMRV9OQU1FIiwiTEFCRUxfUlVMRV9OQU1FIiwiTEFCRUxTX1JVTEVfTkFNRSIsIlRIRU9SRU1fUlVMRV9OQU1FIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIkRFRFVDVElPTl9SVUxFX05BTUUiLCJKVURHRU1FTlRfUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJNRVRBX0xFTU1BX1JVTEVfTkFNRSIsIkNPTUJJTkFUT1JfUlVMRV9OQU1FIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiU1VQUE9TSVRJT05fUlVMRV9OQU1FIiwiQ09OU1RSVUNUT1JfUlVMRV9OQU1FIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVRIRU9SRU1fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIlBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlRZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsInR5cGVOb2RlIiwidHlwZSIsIm9iamVjdFR5cGUiLCJUeXBlIiwiZG9tIiwidHlwZU5hbWUiLCJnZXRUeXBlTmFtZSIsIm5hbWUiLCJzdHJpbmciLCJzdXBlclR5cGVzIiwicHJvcGVydGllcyIsInByb3Zpc2lvbmFsIiwidGVybU5vZGUiLCJjb250ZXh0IiwiVGVybSIsIm5vZGVBc1N0cmluZyIsInRlcm0iLCJzdGF0ZW1lbnROb2RlIiwiU3RhdGVtZW50IiwidG9rZW5zIiwibm9kZUFzVG9rZW5zIiwidG9rZW5zQXNTdHJpbmciLCJzdGF0ZW1lbnQiLCJydWxlTmFtZSIsIm5vZGVSdWxlTm9kZSIsIm5vZGVOb25UZXJtaW5hbE5vZGUiLCJpc05vblRlcm1pbmFsTm9kZSIsIm5vblRlcm1pbmFsTm9kZSIsIm5vblRlcm1pbmFsTm9kZVJ1bGVOYW1lIiwiZ2V0UnVsZU5hbWUiLCJub25UZXJtaW5hbE5vZGVSdWxlTmFtZVJ1bGVOYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFrRWdCQTtlQUFBQTs7UUFrRkFDO2VBQUFBOztRQTVDQUM7ZUFBQUE7O1FBZ0RBQztlQUFBQTs7UUE5Q0FDO2VBQUFBOztRQUVBQztlQUFBQTs7UUEwQ0FDO2VBQUFBOztRQXBDQUM7ZUFBQUE7O1FBd0JBQztlQUFBQTs7UUF0QkFDO2VBQUFBOztRQXRCQUM7ZUFBQUE7O1FBc0NBQztlQUFBQTs7UUF0QkFDO2VBQUFBOztRQTFCQUM7ZUFBQUE7O1FBaEJBQztlQUFBQTs7UUFFQUM7ZUFBQUE7O1FBMEJBQztlQUFBQTs7UUF0QkFDO2VBQUFBOztRQUVBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBc0NBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBNEJBQztlQUFBQTs7UUFvQ0FDO2VBQUFBOztRQWxDQUM7ZUFBQUE7O1FBNUJBQztlQUFBQTs7UUFzREFDO2VBQUFBOztRQWxFQUM7ZUFBQUE7O1FBMENBQztlQUFBQTs7UUFsREFDO2VBQUFBOztRQThEQUM7ZUFBQUE7O1FBUUFDO2VBQUFBOztRQTVEQUM7ZUFBQUE7O1FBZ0RBQztlQUFBQTs7UUFoQ0FDO2VBQUFBOztRQTFDQUM7ZUFBQUE7O1FBb0ZBQztlQUFBQTs7UUF4Q0FDO2VBQUFBOztRQTFDQUM7ZUFBQUE7O1FBa0VBQztlQUFBQTs7UUFZQUM7ZUFBQUE7O1FBaERBQztlQUFBQTs7UUF3QkFDO2VBQUFBOztRQXBEQUM7ZUFBQUE7O1FBa0JBQztlQUFBQTs7UUFnREFDO2VBQUFBOztRQUVBQztlQUFBQTs7UUFsRUFDO2VBQUFBOztRQWtGQUM7ZUFBQUE7O1FBMURBQztlQUFBQTs7UUFvR0FDO2VBQUFBOztRQVZBQztlQUFBQTs7UUFwQkFDO2VBQUFBOzs7MERBMUpBO29CQUVXO3lCQWtEd0I7Ozs7OztBQUU1QyxTQUFTakIsZUFBZWtCLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1FLHlCQUFjO0FBQUc7QUFFdkYsU0FBU2pCLGVBQWVlLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1HLHlCQUFjO0FBQUc7QUFFdkYsU0FBU2IsZUFBZVUsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTUkseUJBQWM7QUFBRztBQUV2RixTQUFTVixlQUFlTSxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNSyx5QkFBYztBQUFHO0FBRXZGLFNBQVN2QyxnQkFBZ0JrQyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNTSwwQkFBZTtBQUFHO0FBRXpGLFNBQVMzRCxnQkFBZ0JxRCxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNTywwQkFBZTtBQUFHO0FBRXpGLFNBQVM5QyxnQkFBZ0J1QyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNUSwwQkFBZTtBQUFHO0FBRXpGLFNBQVM5QyxnQkFBZ0JzQyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNUywwQkFBZTtBQUFHO0FBRXpGLFNBQVNqQyxnQkFBZ0J3QixJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNVSwwQkFBZTtBQUFHO0FBRXpGLFNBQVM5QyxnQkFBZ0JvQyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNVywwQkFBZTtBQUFHO0FBRXpGLFNBQVM5QyxpQkFBaUJtQyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNWSwyQkFBZ0I7QUFBRztBQUUzRixTQUFTckIsa0JBQWtCUyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNYSw0QkFBaUI7QUFBRztBQUU3RixTQUFTdkMsa0JBQWtCMEIsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTWMsNEJBQWlCO0FBQUc7QUFFN0YsU0FBU25DLG1CQUFtQnFCLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1lLDZCQUFrQjtBQUFHO0FBRS9GLFNBQVN2RCxtQkFBbUJ3QyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNZ0IsNkJBQWtCO0FBQUc7QUFFL0YsU0FBU3BCLG1CQUFtQkksSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTWlCLDZCQUFrQjtBQUFHO0FBRS9GLFNBQVM3QixtQkFBbUJZLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1rQiw2QkFBa0I7QUFBRztBQUUvRixTQUFTbEQsbUJBQW1CZ0MsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTW1CLDhCQUFtQjtBQUFHO0FBRWhHLFNBQVMvQyxvQkFBb0I0QixJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNb0IsOEJBQW1CO0FBQUc7QUFFakcsU0FBUy9ELG9CQUFvQjJDLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1xQiw4QkFBbUI7QUFBRztBQUVqRyxTQUFTMUQsb0JBQW9CcUMsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTXNCLDhCQUFtQjtBQUFHO0FBRWpHLFNBQVN6QyxvQkFBb0JtQixJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNdUIsOEJBQW1CO0FBQUc7QUFFakcsU0FBU3ZDLG9CQUFvQmdCLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU13Qiw4QkFBbUI7QUFBRztBQUVqRyxTQUFTekQsb0JBQW9CaUMsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTXlCLCtCQUFvQjtBQUFHO0FBRWxHLFNBQVM1RSxxQkFBcUJtRCxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNMEIsK0JBQW9CO0FBQUc7QUFFbkcsU0FBUzNFLHFCQUFxQmlELElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU0yQiwrQkFBb0I7QUFBRztBQUVuRyxTQUFTM0UscUJBQXFCZ0QsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTTRCLCtCQUFvQjtBQUFHO0FBRW5HLFNBQVNyRSxxQkFBcUJ5QyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNNkIsK0JBQW9CO0FBQUc7QUFFbkcsU0FBU3hDLHNCQUFzQlcsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTThCLGdDQUFxQjtBQUFHO0FBRXJHLFNBQVM1RSxzQkFBc0I4QyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNK0IsZ0NBQXFCO0FBQUc7QUFFckcsU0FBUzNFLHNCQUFzQjRDLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1nQyxnQ0FBcUI7QUFBRztBQUVyRyxTQUFTL0Qsc0JBQXNCK0IsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTWlDLGdDQUFxQjtBQUFHO0FBRXJHLFNBQVM5RCx1QkFBdUI2QixJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNa0MsaUNBQXNCO0FBQUc7QUFFdkcsU0FBUzNELHdCQUF3QnlCLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1tQyxtQ0FBd0I7QUFBRztBQUUxRyxTQUFTakQsd0JBQXdCYyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNb0MsbUNBQXdCO0FBQUc7QUFFMUcsU0FBUzVDLHdCQUF3QlEsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTXFDLG1DQUF3QjtBQUFHO0FBRTFHLFNBQVM1QywwQkFBMEJPLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1zQyxxQ0FBMEI7QUFBRztBQUU5RyxTQUFTMUQsMkJBQTJCb0IsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTXVDLHNDQUEyQjtBQUFHO0FBRWhILFNBQVNqRiwyQkFBMkIwQyxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNd0Msc0NBQTJCO0FBQUc7QUFFaEgsU0FBUy9ELDRCQUE0QnVCLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU15Qyx1Q0FBNEI7QUFBRztBQUVsSCxTQUFTdEQsNEJBQTRCYSxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNMEMsdUNBQTRCO0FBQUc7QUFFbEgsU0FBU3ZGLDZCQUE2QjZDLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU0yQyx3Q0FBNkI7QUFBRztBQUVwSCxTQUFTNUQsNkJBQTZCaUIsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTTRDLHdDQUE2QjtBQUFHO0FBRXBILFNBQVNsRSw4QkFBOEJzQixJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNNkMseUNBQThCO0FBQUc7QUFFdEgsU0FBU2xELDhCQUE4QkssSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTThDLHlDQUE4QjtBQUFHO0FBRXRILFNBQVN6RSw4QkFBOEIyQixJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNK0MseUNBQThCO0FBQUc7QUFFdEgsU0FBU25HLGdDQUFnQ29ELElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1nRCwyQ0FBZ0M7QUFBRztBQUUxSCxTQUFTL0YsaUNBQWlDK0MsSUFBSTtJQUFJLE9BQU9DLHlCQUF5QkQsTUFBTWlELDRDQUFpQztBQUFHO0FBRTVILFNBQVNuRyxpQ0FBaUNrRCxJQUFJO0lBQUksT0FBT0MseUJBQXlCRCxNQUFNa0QsNkNBQWtDO0FBQUc7QUFFN0gsU0FBU2hGLGtDQUFrQzhCLElBQUk7SUFBSSxPQUFPQyx5QkFBeUJELE1BQU1tRCw2Q0FBa0M7QUFBRztBQUU5SCxTQUFTcEQsaUJBQWlCcUQsUUFBUTtJQUN2QyxJQUFJQztJQUVKLElBQUlELGFBQWEsTUFBTTtRQUNyQkMsT0FBT0MsZ0JBQVU7SUFDbkIsT0FBTztRQUNMLElBQU0sQUFBRUMsT0FBU0MsWUFBRyxDQUFaRCxNQUNGRSxXQUFXTCxTQUFTTSxXQUFXLElBQy9CQyxPQUFPRixVQUNQRyxTQUFTRCxNQUNURSxhQUFhLE1BQ2JDLGFBQWEsTUFDYkMsY0FBYztRQUVwQlYsT0FBTyxJQUFJRSxLQUFLSyxRQUFRRCxNQUFNRSxZQUFZQyxZQUFZQztJQUN4RDtJQUVBLE9BQU9WO0FBQ1Q7QUFFTyxTQUFTdkQsaUJBQWlCa0UsUUFBUSxFQUFFQyxPQUFPO0lBQ2hELElBQU0sQUFBRUMsT0FBU1YsWUFBRyxDQUFaVSxNQUNGbEUsT0FBT2dFLFVBQ1BKLFNBQVNLLFFBQVFFLFlBQVksQ0FBQ25FLE9BQzlCcUQsT0FBTyxNQUNQZSxPQUFPLElBQUlGLEtBQUtOLFFBQVE1RCxNQUFNcUQ7SUFFcEMsT0FBT2U7QUFDVDtBQUVPLFNBQVN2RSwyQkFBMkJ3RSxhQUFhLEVBQUVKLE9BQU87SUFDL0QsSUFBTSxBQUFFSyxZQUFjZCxZQUFHLENBQWpCYyxXQUNGdEUsT0FBT3FFLGVBQ1BFLFNBQVNOLFFBQVFPLFlBQVksQ0FBQ3hFLE9BQzlCNEQsU0FBU0ssUUFBUVEsY0FBYyxDQUFDRixTQUNoQ0csWUFBWSxJQUFJSixVQUFVVixRQUFRNUQsTUFBTXVFO0lBRTlDLE9BQU9HO0FBQ1Q7QUFFQSxTQUFTekUseUJBQXlCRCxJQUFJLEVBQUUyRSxRQUFRO0lBQzlDLElBQUlDLGVBQWU7SUFFbkIsSUFBTUMsc0JBQXNCN0UsS0FBSzhFLGlCQUFpQjtJQUVsRCxJQUFJRCxxQkFBcUI7UUFDdkIsSUFBTUUsa0JBQWtCL0UsTUFDbEJnRiwwQkFBMEJELGdCQUFnQkUsV0FBVyxJQUNyREMsa0NBQW1DRiw0QkFBNEJMO1FBRXJFLElBQUlPLGlDQUFpQztZQUNuQ04sZUFBZTtRQUNqQjtJQUNGO0lBRUEsT0FBT0E7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9kZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGRvbSBmcm9tIFwiLi4vZG9tXCI7XG5cbmltcG9ydCB7IG9iamVjdFR5cGUgfSBmcm9tIFwiLi4vZG9tL3R5cGVcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVGcm9tVHlwZU5vZGUodHlwZU5vZGUpIHtcbiAgbGV0IHR5cGU7XG5cbiAgaWYgKHR5cGVOb2RlID09PSBudWxsKSB7XG4gICAgdHlwZSA9IG9iamVjdFR5cGU7XG4gIH0gZWxzZSB7XG4gICAgY29uc3QgeyBUeXBlIH0gPSBkb20sXG4gICAgICAgICAgdHlwZU5hbWUgPSB0eXBlTm9kZS5nZXRUeXBlTmFtZSgpLFxuICAgICAgICAgIG5hbWUgPSB0eXBlTmFtZSwgIC8vL1xuICAgICAgICAgIHN0cmluZyA9IG5hbWUsICAvLy9cbiAgICAgICAgICBzdXBlclR5cGVzID0gbnVsbCxcbiAgICAgICAgICBwcm9wZXJ0aWVzID0gbnVsbCxcbiAgICAgICAgICBwcm92aXNpb25hbCA9IG51bGw7XG5cbiAgICB0eXBlID0gbmV3IFR5cGUoc3RyaW5nLCBuYW1lLCBzdXBlclR5cGVzLCBwcm9wZXJ0aWVzLCBwcm92aXNpb25hbCk7XG4gIH1cblxuICByZXR1cm4gdHlwZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHRlcm1Gcm9tVGVybU5vZGUodGVybU5vZGUsIGNvbnRleHQpIHtcbiAgY29uc3QgeyBUZXJtIH0gPSBkb20sXG4gICAgICAgIG5vZGUgPSB0ZXJtTm9kZSwgIC8vL1xuICAgICAgICBzdHJpbmcgPSBjb250ZXh0Lm5vZGVBc1N0cmluZyhub2RlKSxcbiAgICAgICAgdHlwZSA9IG51bGwsXG4gICAgICAgIHRlcm0gPSBuZXcgVGVybShzdHJpbmcsIG5vZGUsIHR5cGUpO1xuXG4gIHJldHVybiB0ZXJtO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc3RhdGVtZW50RnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCkge1xuICBjb25zdCB7IFN0YXRlbWVudCB9ID0gZG9tLFxuICAgICAgICBub2RlID0gc3RhdGVtZW50Tm9kZSwgLy8vXG4gICAgICAgIHRva2VucyA9IGNvbnRleHQubm9kZUFzVG9rZW5zKG5vZGUpLFxuICAgICAgICBzdHJpbmcgPSBjb250ZXh0LnRva2Vuc0FzU3RyaW5nKHRva2VucyksXG4gICAgICAgIHN0YXRlbWVudCA9IG5ldyBTdGF0ZW1lbnQoc3RyaW5nLCBub2RlLCB0b2tlbnMpO1xuXG4gIHJldHVybiBzdGF0ZW1lbnQ7XG59XG4iXSwibmFtZXMiOlsic3RhdGVtZW50RnJvbVN0YXRlbWVudE5vZGUiLCJ0ZXJtRnJvbVRlcm1Ob2RlIiwidHlwZUZyb21UeXBlTm9kZSIsInR5cGVOb2RlIiwidHlwZSIsIm9iamVjdFR5cGUiLCJUeXBlIiwiZG9tIiwidHlwZU5hbWUiLCJnZXRUeXBlTmFtZSIsIm5hbWUiLCJzdHJpbmciLCJzdXBlclR5cGVzIiwicHJvcGVydGllcyIsInByb3Zpc2lvbmFsIiwidGVybU5vZGUiLCJjb250ZXh0IiwiVGVybSIsIm5vZGUiLCJub2RlQXNTdHJpbmciLCJ0ZXJtIiwic3RhdGVtZW50Tm9kZSIsIlN0YXRlbWVudCIsInRva2VucyIsIm5vZGVBc1Rva2VucyIsInRva2Vuc0FzU3RyaW5nIiwic3RhdGVtZW50Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFvQ2dCQTtlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBcEJBQztlQUFBQTs7OzBEQUpBO29CQUVXOzs7Ozs7QUFFcEIsU0FBU0EsaUJBQWlCQyxRQUFRO0lBQ3ZDLElBQUlDO0lBRUosSUFBSUQsYUFBYSxNQUFNO1FBQ3JCQyxPQUFPQyxnQkFBVTtJQUNuQixPQUFPO1FBQ0wsSUFBTSxBQUFFQyxPQUFTQyxZQUFHLENBQVpELE1BQ0ZFLFdBQVdMLFNBQVNNLFdBQVcsSUFDL0JDLE9BQU9GLFVBQ1BHLFNBQVNELE1BQ1RFLGFBQWEsTUFDYkMsYUFBYSxNQUNiQyxjQUFjO1FBRXBCVixPQUFPLElBQUlFLEtBQUtLLFFBQVFELE1BQU1FLFlBQVlDLFlBQVlDO0lBQ3hEO0lBRUEsT0FBT1Y7QUFDVDtBQUVPLFNBQVNILGlCQUFpQmMsUUFBUSxFQUFFQyxPQUFPO0lBQ2hELElBQU0sQUFBRUMsT0FBU1YsWUFBRyxDQUFaVSxNQUNGQyxPQUFPSCxVQUNQSixTQUFTSyxRQUFRRyxZQUFZLENBQUNELE9BQzlCZCxPQUFPLE1BQ1BnQixPQUFPLElBQUlILEtBQUtOLFFBQVFPLE1BQU1kO0lBRXBDLE9BQU9nQjtBQUNUO0FBRU8sU0FBU3BCLDJCQUEyQnFCLGFBQWEsRUFBRUwsT0FBTztJQUMvRCxJQUFNLEFBQUVNLFlBQWNmLFlBQUcsQ0FBakJlLFdBQ0ZKLE9BQU9HLGVBQ1BFLFNBQVNQLFFBQVFRLFlBQVksQ0FBQ04sT0FDOUJQLFNBQVNLLFFBQVFTLGNBQWMsQ0FBQ0YsU0FDaENHLFlBQVksSUFBSUosVUFBVVgsUUFBUU8sTUFBTUs7SUFFOUMsT0FBT0c7QUFDVCJ9

package/lib/utilities/subproof.js

@@ -8,12 +8,21 @@ Object.defineProperty(exports, "subproofStringFromSubproofNode", {
         return subproofStringFromSubproofNode;
     }
 });
-var _query = require("./query");
 var _string = require("./string");
-var lastStepStatementNodeQuery = (0, _query.nodeQuery)("/subproof/subDerivation/step[-1]/statement"), suppositionStatementNodesQuery = (0, _query.nodesQuery)("/subproof/supposition/statement");
 function subproofStringFromSubproofNode(subproofNode, fileContext) {
-    var tokens = fileContext.getTokens(), suppositionStatementNodes = suppositionStatementNodesQuery(subproofNode), lastStepStatementNode = lastStepStatementNodeQuery(subproofNode), suppositionStatementsString = (0, _string.nodesAsString)(suppositionStatementNodes, tokens), lastStepStatementString = (0, _string.nodeAsString)(lastStepStatementNode, tokens), subproofString = "[".concat(suppositionStatementsString, "]...").concat(lastStepStatementString);
+    var tokens = fileContext.getTokens(), suppositionStatementNodes = suppositionStatementNodesFromSubproofNode(subproofNode), lastStepStatementNode = lastStepStatementNodeFromSubproofNode(subproofNode), suppositionStatementsString = (0, _string.nodesAsString)(suppositionStatementNodes, tokens), lastStepStatementString = (0, _string.nodeAsString)(lastStepStatementNode, tokens), subproofString = "[".concat(suppositionStatementsString, "]...").concat(lastStepStatementString);
     return subproofString;
 }
+function lastStepStatementNodeFromSubproofNode(subproofNode) {
+    var lastStepNode = subproofNode.getLastStepNode(), lastStepNodeStatementNode = lastStepNode.getStatementNode(), lastStepStatementNode = lastStepNodeStatementNode; ///
+    return lastStepStatementNode;
+}
+function suppositionStatementNodesFromSubproofNode(subproofNode) {
+    var suppositionNodes = subproofNode.getSuppositionNodes(), suppositionNodeStatementNodes = suppositionNodes.map(function(suppositionNode) {
+        var suppositionNodeStatementNode = suppositionNode.getStatementNode();
+        return suppositionNodeStatementNode;
+    }), suppositionStatementNodes = suppositionNodeStatementNodes; ///
+    return suppositionStatementNodes;
+}
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3VicHJvb2YuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSwgbm9kZXNRdWVyeSB9IGZyb20gXCIuL3F1ZXJ5XCI7XG5pbXBvcnQgeyBub2RlQXNTdHJpbmcsIG5vZGVzQXNTdHJpbmcgfSBmcm9tIFwiLi9zdHJpbmdcIjtcblxuY29uc3QgbGFzdFN0ZXBTdGF0ZW1lbnROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3VicHJvb2Yvc3ViRGVyaXZhdGlvbi9zdGVwWy0xXS9zdGF0ZW1lbnRcIiksXG4gICAgICBzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzUXVlcnkgPSBub2Rlc1F1ZXJ5KFwiL3N1YnByb29mL3N1cHBvc2l0aW9uL3N0YXRlbWVudFwiKTtcblxuZXhwb3J0IGZ1bmN0aW9uIHN1YnByb29mU3RyaW5nRnJvbVN1YnByb29mTm9kZShzdWJwcm9vZk5vZGUsIGZpbGVDb250ZXh0KSB7XG4gIGNvbnN0IHRva2VucyA9IGZpbGVDb250ZXh0LmdldFRva2VucygpLFxuICAgICAgICBzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzID0gc3VwcG9zaXRpb25TdGF0ZW1lbnROb2Rlc1F1ZXJ5KHN1YnByb29mTm9kZSksXG4gICAgICAgIGxhc3RTdGVwU3RhdGVtZW50Tm9kZSA9IGxhc3RTdGVwU3RhdGVtZW50Tm9kZVF1ZXJ5KHN1YnByb29mTm9kZSksXG4gICAgICAgIHN1cHBvc2l0aW9uU3RhdGVtZW50c1N0cmluZyA9IG5vZGVzQXNTdHJpbmcoc3VwcG9zaXRpb25TdGF0ZW1lbnROb2RlcywgdG9rZW5zKSxcbiAgICAgICAgbGFzdFN0ZXBTdGF0ZW1lbnRTdHJpbmcgPSBub2RlQXNTdHJpbmcobGFzdFN0ZXBTdGF0ZW1lbnROb2RlLCB0b2tlbnMpLFxuICAgICAgICBzdWJwcm9vZlN0cmluZyA9IGBbJHtzdXBwb3NpdGlvblN0YXRlbWVudHNTdHJpbmd9XS4uLiR7bGFzdFN0ZXBTdGF0ZW1lbnRTdHJpbmd9YDtcblxuICByZXR1cm4gc3VicHJvb2ZTdHJpbmc7XG59XG4iXSwibmFtZXMiOlsic3VicHJvb2ZTdHJpbmdGcm9tU3VicHJvb2ZOb2RlIiwibGFzdFN0ZXBTdGF0ZW1lbnROb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzUXVlcnkiLCJub2Rlc1F1ZXJ5Iiwic3VicHJvb2ZOb2RlIiwiZmlsZUNvbnRleHQiLCJ0b2tlbnMiLCJnZXRUb2tlbnMiLCJzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzIiwibGFzdFN0ZXBTdGF0ZW1lbnROb2RlIiwic3VwcG9zaXRpb25TdGF0ZW1lbnRzU3RyaW5nIiwibm9kZXNBc1N0cmluZyIsImxhc3RTdGVwU3RhdGVtZW50U3RyaW5nIiwibm9kZUFzU3RyaW5nIiwic3VicHJvb2ZTdHJpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFnQkE7OztlQUFBQTs7O3FCQU5zQjtzQkFDTTtBQUU1QyxJQUFNQyw2QkFBNkJDLElBQUFBLGdCQUFTLEVBQUMsK0NBQ3ZDQyxpQ0FBaUNDLElBQUFBLGlCQUFVLEVBQUM7QUFFM0MsU0FBU0osK0JBQStCSyxZQUFZLEVBQUVDLFdBQVc7SUFDdEUsSUFBTUMsU0FBU0QsWUFBWUUsU0FBUyxJQUM5QkMsNEJBQTRCTiwrQkFBK0JFLGVBQzNESyx3QkFBd0JULDJCQUEyQkksZUFDbkRNLDhCQUE4QkMsSUFBQUEscUJBQWEsRUFBQ0gsMkJBQTJCRixTQUN2RU0sMEJBQTBCQyxJQUFBQSxvQkFBWSxFQUFDSix1QkFBdUJILFNBQzlEUSxpQkFBaUIsQUFBQyxJQUFxQ0YsT0FBbENGLDZCQUE0QixRQUE4QixPQUF4QkU7SUFFN0QsT0FBT0U7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3VicHJvb2YuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVBc1N0cmluZywgbm9kZXNBc1N0cmluZyB9IGZyb20gXCIuL3N0cmluZ1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gc3VicHJvb2ZTdHJpbmdGcm9tU3VicHJvb2ZOb2RlKHN1YnByb29mTm9kZSwgZmlsZUNvbnRleHQpIHtcbiAgY29uc3QgdG9rZW5zID0gZmlsZUNvbnRleHQuZ2V0VG9rZW5zKCksXG4gICAgICAgIHN1cHBvc2l0aW9uU3RhdGVtZW50Tm9kZXMgPSBzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzRnJvbVN1YnByb29mTm9kZShzdWJwcm9vZk5vZGUpLFxuICAgICAgICBsYXN0U3RlcFN0YXRlbWVudE5vZGUgPSBsYXN0U3RlcFN0YXRlbWVudE5vZGVGcm9tU3VicHJvb2ZOb2RlKHN1YnByb29mTm9kZSksXG4gICAgICAgIHN1cHBvc2l0aW9uU3RhdGVtZW50c1N0cmluZyA9IG5vZGVzQXNTdHJpbmcoc3VwcG9zaXRpb25TdGF0ZW1lbnROb2RlcywgdG9rZW5zKSxcbiAgICAgICAgbGFzdFN0ZXBTdGF0ZW1lbnRTdHJpbmcgPSBub2RlQXNTdHJpbmcobGFzdFN0ZXBTdGF0ZW1lbnROb2RlLCB0b2tlbnMpLFxuICAgICAgICBzdWJwcm9vZlN0cmluZyA9IGBbJHtzdXBwb3NpdGlvblN0YXRlbWVudHNTdHJpbmd9XS4uLiR7bGFzdFN0ZXBTdGF0ZW1lbnRTdHJpbmd9YDtcblxuICByZXR1cm4gc3VicHJvb2ZTdHJpbmc7XG59XG5cbmZ1bmN0aW9uIGxhc3RTdGVwU3RhdGVtZW50Tm9kZUZyb21TdWJwcm9vZk5vZGUoc3VicHJvb2ZOb2RlKSB7XG4gIGNvbnN0IGxhc3RTdGVwTm9kZSA9IHN1YnByb29mTm9kZS5nZXRMYXN0U3RlcE5vZGUoKSxcbiAgICAgICAgbGFzdFN0ZXBOb2RlU3RhdGVtZW50Tm9kZSA9IGxhc3RTdGVwTm9kZS5nZXRTdGF0ZW1lbnROb2RlKCksXG4gICAgICAgIGxhc3RTdGVwU3RhdGVtZW50Tm9kZSA9IGxhc3RTdGVwTm9kZVN0YXRlbWVudE5vZGU7ICAvLy9cblxuICByZXR1cm4gbGFzdFN0ZXBTdGF0ZW1lbnROb2RlO1xufVxuXG5mdW5jdGlvbiBzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzRnJvbVN1YnByb29mTm9kZShzdWJwcm9vZk5vZGUpIHtcbiAgY29uc3Qgc3VwcG9zaXRpb25Ob2RlcyA9IHN1YnByb29mTm9kZS5nZXRTdXBwb3NpdGlvbk5vZGVzKCksXG4gICAgICAgIHN1cHBvc2l0aW9uTm9kZVN0YXRlbWVudE5vZGVzID0gc3VwcG9zaXRpb25Ob2Rlcy5tYXAoKHN1cHBvc2l0aW9uTm9kZSkgPT4ge1xuICAgICAgICAgIGNvbnN0IHN1cHBvc2l0aW9uTm9kZVN0YXRlbWVudE5vZGUgPSBzdXBwb3NpdGlvbk5vZGUuZ2V0U3RhdGVtZW50Tm9kZSgpO1xuXG4gICAgICAgICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZVN0YXRlbWVudE5vZGU7XG4gICAgICAgIH0pLFxuICAgICAgICBzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzID0gc3VwcG9zaXRpb25Ob2RlU3RhdGVtZW50Tm9kZXM7ICAvLy9cblxuICByZXR1cm4gc3VwcG9zaXRpb25TdGF0ZW1lbnROb2Rlcztcbn1cbiJdLCJuYW1lcyI6WyJzdWJwcm9vZlN0cmluZ0Zyb21TdWJwcm9vZk5vZGUiLCJzdWJwcm9vZk5vZGUiLCJmaWxlQ29udGV4dCIsInRva2VucyIsImdldFRva2VucyIsInN1cHBvc2l0aW9uU3RhdGVtZW50Tm9kZXMiLCJzdXBwb3NpdGlvblN0YXRlbWVudE5vZGVzRnJvbVN1YnByb29mTm9kZSIsImxhc3RTdGVwU3RhdGVtZW50Tm9kZSIsImxhc3RTdGVwU3RhdGVtZW50Tm9kZUZyb21TdWJwcm9vZk5vZGUiLCJzdXBwb3NpdGlvblN0YXRlbWVudHNTdHJpbmciLCJub2Rlc0FzU3RyaW5nIiwibGFzdFN0ZXBTdGF0ZW1lbnRTdHJpbmciLCJub2RlQXNTdHJpbmciLCJzdWJwcm9vZlN0cmluZyIsImxhc3RTdGVwTm9kZSIsImdldExhc3RTdGVwTm9kZSIsImxhc3RTdGVwTm9kZVN0YXRlbWVudE5vZGUiLCJnZXRTdGF0ZW1lbnROb2RlIiwic3VwcG9zaXRpb25Ob2RlcyIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJzdXBwb3NpdGlvbk5vZGVTdGF0ZW1lbnROb2RlcyIsIm1hcCIsInN1cHBvc2l0aW9uTm9kZSIsInN1cHBvc2l0aW9uTm9kZVN0YXRlbWVudE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlnQkE7OztlQUFBQTs7O3NCQUY0QjtBQUVyQyxTQUFTQSwrQkFBK0JDLFlBQVksRUFBRUMsV0FBVztJQUN0RSxJQUFNQyxTQUFTRCxZQUFZRSxTQUFTLElBQzlCQyw0QkFBNEJDLDBDQUEwQ0wsZUFDdEVNLHdCQUF3QkMsc0NBQXNDUCxlQUM5RFEsOEJBQThCQyxJQUFBQSxxQkFBYSxFQUFDTCwyQkFBMkJGLFNBQ3ZFUSwwQkFBMEJDLElBQUFBLG9CQUFZLEVBQUNMLHVCQUF1QkosU0FDOURVLGlCQUFpQixBQUFDLElBQXFDRixPQUFsQ0YsNkJBQTRCLFFBQThCLE9BQXhCRTtJQUU3RCxPQUFPRTtBQUNUO0FBRUEsU0FBU0wsc0NBQXNDUCxZQUFZO0lBQ3pELElBQU1hLGVBQWViLGFBQWFjLGVBQWUsSUFDM0NDLDRCQUE0QkYsYUFBYUcsZ0JBQWdCLElBQ3pEVix3QkFBd0JTLDJCQUE0QixHQUFHO0lBRTdELE9BQU9UO0FBQ1Q7QUFFQSxTQUFTRCwwQ0FBMENMLFlBQVk7SUFDN0QsSUFBTWlCLG1CQUFtQmpCLGFBQWFrQixtQkFBbUIsSUFDbkRDLGdDQUFnQ0YsaUJBQWlCRyxHQUFHLENBQUMsU0FBQ0M7UUFDcEQsSUFBTUMsK0JBQStCRCxnQkFBZ0JMLGdCQUFnQjtRQUVyRSxPQUFPTTtJQUNULElBQ0FsQiw0QkFBNEJlLCtCQUFnQyxHQUFHO0lBRXJFLE9BQU9mO0FBQ1QifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.192",
+  "version": "1.0.198",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",

package/src/context/file.js

@@ -127,9 +127,9 @@ export default class FileContext {
     });
 
     this.metatheorems.forEach((metatheorem) => {
-      const metatheoremLabels = metatheorem.getLabels();
+      const metatheoremLabel = metatheorem.getLabel();
 
-      push(labels, metatheoremLabels);
+      labels.push(metatheoremLabel);
     });
 
     if (includeRelease) {

package/src/dom/assertion/contained.js

@@ -3,14 +3,9 @@
 import dom from "../../dom";
 import LocalContext from "../../context/local";
 
-import { MISSING } from "../../constants";
 import { domAssigned } from "../../dom";
-import { nodeQuery, nodesQuery } from "../../utilities/query";
 import { termFromTermAndSubstitutions, frameFromFrameAndSubstitutions, statementFromStatementAndSubstitutions } from "../../utilities/substitutions";
 
-const terminalNodesQuery = nodesQuery("/containedAssertion/@*"),
-      containedAssertionNodeQuery = nodeQuery("/statement/containedAssertion");
-
 export default domAssigned(class ContainedAssertion {
   constructor(string, node, tokens, term, frame, negated, statement) {
     this.string = string;
@@ -87,10 +82,9 @@ export default domAssigned(class ContainedAssertion {
     let termVerified = false;
 
     if (this.term !== null) {
-      const termString = this.term.getString(),
-            containedAssertionString = this.string; ///
+      const termString = this.term.getString();
 
-      context.trace(`Verifying the '${containedAssertionString}' contained assertion's '${termString}' term...`);
+      context.trace(`Verifying the '${termString}' term...`);
 
       const termSimple = this.term.isSimple();
 
@@ -104,7 +98,7 @@ export default domAssigned(class ContainedAssertion {
         });
 
         if (termVerified) {
-          context.debug(`...verified the '${containedAssertionString}' contained assertion's '${termString}' term.`);
+          context.debug(`...verified the '${termString}' term.`);
         }
       }
     }
@@ -116,10 +110,9 @@ export default domAssigned(class ContainedAssertion {
     let frameVerified = false;
 
     if (this.frame !== null) {
-      const frameString = this.frame.getString(),
-            containedAssertionString = this.string; ///
+      const frameString = this.frame.getString();
 
-      context.trace(`Verifying the '${containedAssertionString}' contained assertion's '${frameString}' frame...`);
+      context.trace(`Verifying the '${frameString}' frame...`);
 
       const frameSimple = this.frame.isSimple();
 
@@ -133,7 +126,7 @@ export default domAssigned(class ContainedAssertion {
         frameVerified = this.frame.verify(assignments, stated, context);
 
         if (frameVerified) {
-          context.debug(`...verified the '${containedAssertionString}' contained assertion's '${frameString}' frame.`);
+          context.debug(`...verified the '${frameString}' frame.`);
         }
       }
     }
@@ -145,10 +138,9 @@ export default domAssigned(class ContainedAssertion {
     let statementVerified = false;
 
     if (this.statement !== null) {
-      const statementString = this.statement.getString(),
-            containedAssertionString = this.string; ///
+      const statementString = this.statement.getString();
 
-      context.trace(`Verifying the '${containedAssertionString}' contained assertion's '${statementString}' statement...`);
+      context.trace(`Verifying the '${statementString}' statement...`);
 
       stated = true;  ///
 
@@ -157,7 +149,7 @@ export default domAssigned(class ContainedAssertion {
       statementVerified = this.statement.verify(assignments, stated, context);
 
       if (statementVerified) {
-        context.debug(`...verified the '${containedAssertionString}' contained assertion's '${statementString}' statement.`);
+        context.debug(`...verified the '${statementString}' statement.`);
       }
     }
 
@@ -226,17 +218,17 @@ export default domAssigned(class ContainedAssertion {
   static fromStatementNode(statementNode, context) {
     let containedAssertion = null;
 
-    const containedAssertionNode = containedAssertionNodeQuery(statementNode);
+    const containedAssertionNode = statementNode.getContainedAssertionNode();
 
     if (containedAssertionNode !== null) {
       const { Term, Frame, Statement } = dom,
             node = containedAssertionNode,  ///
             string = context.nodeAsString(node),
             tokens = context.nodeAsTokens(node),
+            negated = containedAssertionNode.isNegated(),
             term = Term.fromContainedAssertionNode(containedAssertionNode, context),
             frame = Frame.fromContainedAssertionNode(containedAssertionNode, context),
-            statement = Statement.fromContainedAssertionNode(containedAssertionNode, context),
-            negated = isNegated(containedAssertionNode);  ///
+            statement = Statement.fromContainedAssertionNode(containedAssertionNode, context);
 
       containedAssertion = new ContainedAssertion(string, node, tokens, term, frame, negated, statement);
     }
@@ -245,20 +237,6 @@ export default domAssigned(class ContainedAssertion {
   }
 });
 
-function isNegated(definedAssertionNode) {
-  const terminalNodes = terminalNodesQuery(definedAssertionNode),
-        negated = terminalNodes.some((terminalNode) => {  ///
-          const content = terminalNode.getContent(),
-                contentMessing = (content === MISSING);
-
-          if (contentMessing) {
-            return true;
-          }
-        });
-
-  return negated;
-}
-
 function verifyWhenDerived(term, frame, statement, negated, context) {
   let verifiedWhenDerived = false;
 

package/src/dom/assertion/defined.js

@@ -3,14 +3,9 @@
 import dom from "../../dom";
 import LocalContext from "../../context/local";
 
-import { UNDEFINED } from "../../constants";
 import { domAssigned } from "../../dom";
-import { nodeQuery, nodesQuery } from "../../utilities/query";
 import { termFromTermAndSubstitutions, frameFromFrameAndSubstitutions } from "../../utilities/substitutions";
 
-const terminalNodesQuery = nodesQuery("/definedAssertion/@*"),
-      definedAssertionNodeQuery = nodeQuery("/statement/definedAssertion");
-
 export default domAssigned(class DefinedAssertion {
   constructor(string, node, tokens, term, frame, negated) {
     this.string = string;
@@ -81,10 +76,9 @@ export default domAssigned(class DefinedAssertion {
     let termVerified = false;
 
     if (this.term !== null) {
-      const termString = this.term.getString(),
-            definedAssertionString = this.string; ///
+      const termString = this.term.getString(); ///
 
-      context.trace(`Verifying the '${definedAssertionString}' defined assertion's '${termString}' term...`);
+      context.trace(`Verifying the '${termString}' term...`);
 
       const termSimple = this.term.isSimple();
 
@@ -98,7 +92,7 @@ export default domAssigned(class DefinedAssertion {
         });
 
         if (termVerified) {
-          context.debug(`...verified the '${definedAssertionString}' defined assertion's '${termString}' term.`);
+          context.debug(`...verified the '${termString}' term.`);
         }
       }
     }
@@ -110,10 +104,9 @@ export default domAssigned(class DefinedAssertion {
     let frameVerified = false;
 
     if (this.frame !== null) {
-      const frameString = this.frame.getString(),
-            definedAssertionString = this.string; ///
+      const frameString = this.frame.getString(); ///
 
-      context.trace(`Verifying the '${definedAssertionString}' defined assertion's '${frameString}' frame...`);
+      context.trace(`Verifying the '${frameString}' frame...`);
 
       const frameSimple = this.frame.isSimple();
 
@@ -127,7 +120,7 @@ export default domAssigned(class DefinedAssertion {
         frameVerified = this.frame.verify(assignments, stated, context);
 
         if (frameVerified) {
-          context.debug(`...verified the '${definedAssertionString}' defined assertion's '${frameString}' frame.`);
+          context.debug(`...verified the '${frameString}' frame.`);
         }
       }
     }
@@ -196,16 +189,16 @@ export default domAssigned(class DefinedAssertion {
   static fromStatementNode(statementNode, context) {
     let definedAssertion = null;
 
-    const definedAssertionNode = definedAssertionNodeQuery(statementNode);
+    const definedAssertionNode = statementNode.getDefinedAssertionNode();
 
     if (definedAssertionNode !== null) {
       const { Term, Frame } = dom,
             node = definedAssertionNode,  ///
             string = context.nodeAsString(node),
             tokens = context.nodeAsTokens(node),
+            negated = definedAssertionNode.isNegated(),
             term = Term.fromDefinedAssertionNode(definedAssertionNode, context),
-            frame = Frame.fromDefinedAssertionNode(definedAssertionNode, context),
-            negated = isNegated(definedAssertionNode);
+            frame = Frame.fromDefinedAssertionNode(definedAssertionNode, context);
 
       definedAssertion = new DefinedAssertion(string, node, tokens, term, frame, negated);
     }
@@ -214,20 +207,6 @@ export default domAssigned(class DefinedAssertion {
   }
 });
 
-function isNegated(definedAssertionNode) {
-  const terminalNodes = terminalNodesQuery(definedAssertionNode),
-        negated = terminalNodes.some((terminalNode) => {  ///
-          const content = terminalNode.getContent(),
-                contentUndefined = (content === UNDEFINED);
-
-          if (contentUndefined) {
-            return true;
-          }
-        });
-
-  return negated;
-}
-
 function verifyWhenDerived(term, frame, negated, context) {
   let verifiedWhenDerived = false;