occam-verify-cli 1.0.254 → 1.0.256

package/lib/node/metaLemma.js

@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
         return MetaLemmaNode;
     }
 });
-var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
+var _topLevelMetaAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelMetaAssertion"));
 var _ruleNames = require("../ruleNames");
 function _assert_this_initialized(self) {
     if (self === void 0) {
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
     if (staticProps) _defineProperties(Constructor, staticProps);
     return Constructor;
 }
+function _define_property(obj, key, value) {
+    if (key in obj) {
+        Object.defineProperty(obj, key, {
+            value: value,
+            enumerable: true,
+            configurable: true,
+            writable: true
+        });
+    } else {
+        obj[key] = value;
+    }
+    return obj;
+}
 function _get_prototype_of(o) {
     _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
         return o.__proto__ || Object.getPrototypeOf(o);
@@ -88,64 +101,23 @@ function _is_native_reflect_construct() {
         return !!result;
     })();
 }
-var MetaLemmaNode = /*#__PURE__*/ function(NonTerminalNode) {
-    _inherits(MetaLemmaNode, NonTerminalNode);
+var MetaLemmaNode = /*#__PURE__*/ function(TopLevelMetaAssertionNode) {
+    _inherits(MetaLemmaNode, TopLevelMetaAssertionNode);
     function MetaLemmaNode() {
         _class_call_check(this, MetaLemmaNode);
         return _call_super(this, MetaLemmaNode, arguments);
     }
-    _create_class(MetaLemmaNode, [
-        {
-            key: "getMetaLemmaBodyNode",
-            value: function getMetaLemmaBodyNode() {
-                var ruleName = _ruleNames.META_LEMMA_BODY_RULE_NAME, metaLemmaBodyNode = this.getNodeByRuleName(ruleName);
-                return metaLemmaBodyNode;
-            }
-        },
-        {
-            key: "getMetaLemmaHeaderNode",
-            value: function getMetaLemmaHeaderNode() {
-                var ruleName = _ruleNames.META_LEMMA_HEADER_RULE_NAME, metaLemmaHeaderNode = this.getNodeByRuleName(ruleName);
-                return metaLemmaHeaderNode;
-            }
-        },
-        {
-            key: "getLabelNode",
-            value: function getLabelNode() {
-                var metaLemmaHeaderNode = this.getMetaLemmaHeaderNode(), labelNode = metaLemmaHeaderNode.getLabelNode();
-                return labelNode;
-            }
-        },
-        {
-            key: "getSuppositionNodes",
-            value: function getSuppositionNodes() {
-                var metaLemmaBodyNode = this.getMetaLemmaBodyNode(), suppositionNodes = metaLemmaBodyNode.getSuppositionNodes();
-                return suppositionNodes;
-            }
-        },
-        {
-            key: "getDeductionNode",
-            value: function getDeductionNode() {
-                var metaLemmaBodyNode = this.getMetaLemmaBodyNode(), deductionNode = metaLemmaBodyNode.getDeductionNode();
-                return deductionNode;
-            }
-        },
-        {
-            key: "getProofNode",
-            value: function getProofNode() {
-                var metaLemmaBodyNode = this.getMetaLemmaBodyNode(), proofNode = metaLemmaBodyNode.getProofNode();
-                return proofNode;
-            }
-        }
-    ], [
+    _create_class(MetaLemmaNode, null, [
         {
             key: "fromRuleNameChildNodesOpacityAndPrecedence",
             value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-                return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaNode, ruleName, childNodes, opacity, precedence);
+                return _topLevelMetaAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaNode, ruleName, childNodes, opacity, precedence);
             }
         }
     ]);
     return MetaLemmaNode;
-}(_nonTerminal.default);
+}(_topLevelMetaAssertion.default);
+_define_property(MetaLemmaNode, "bodyRuleName", _ruleNames.META_LEMMA_BODY_RULE_NAME);
+_define_property(MetaLemmaNode, "headerRuleName", _ruleNames.META_LEMMA_HEADER_RULE_NAME);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFMZW1tYS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FLCBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGFMZW1tYU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRNZXRhTGVtbWFCb2R5Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YUxlbW1hQm9keU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBtZXRhTGVtbWFCb2R5Tm9kZTtcbiAgfVxuXG4gIGdldE1ldGFMZW1tYUhlYWRlck5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YUxlbW1hSGVhZGVyTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGFMZW1tYUhlYWRlck5vZGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGUoKSB7XG4gICAgY29uc3QgbWV0YUxlbW1hSGVhZGVyTm9kZSA9IHRoaXMuZ2V0TWV0YUxlbW1hSGVhZGVyTm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZSA9IG1ldGFMZW1tYUhlYWRlck5vZGUuZ2V0TGFiZWxOb2RlKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBtZXRhTGVtbWFCb2R5Tm9kZSA9IHRoaXMuZ2V0TWV0YUxlbW1hQm9keU5vZGUoKSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gbWV0YUxlbW1hQm9keU5vZGUuZ2V0U3VwcG9zaXRpb25Ob2RlcygpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBnZXREZWR1Y3Rpb25Ob2RlKCkge1xuICAgIGNvbnN0IG1ldGFMZW1tYUJvZHlOb2RlID0gdGhpcy5nZXRNZXRhTGVtbWFCb2R5Tm9kZSgpLFxuICAgICAgICAgIGRlZHVjdGlvbk5vZGUgPSBtZXRhTGVtbWFCb2R5Tm9kZS5nZXREZWR1Y3Rpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gZGVkdWN0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCBtZXRhTGVtbWFCb2R5Tm9kZSA9IHRoaXMuZ2V0TWV0YUxlbW1hQm9keU5vZGUoKSxcbiAgICAgICAgICBwcm9vZk5vZGUgPSBtZXRhTGVtbWFCb2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKE1ldGFMZW1tYU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGFMZW1tYU5vZGUiLCJnZXRNZXRhTGVtbWFCb2R5Tm9kZSIsInJ1bGVOYW1lIiwiTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRSIsIm1ldGFMZW1tYUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRNZXRhTGVtbWFIZWFkZXJOb2RlIiwiTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwibWV0YUxlbW1hSGVhZGVyTm9kZSIsImdldExhYmVsTm9kZSIsImxhYmVsTm9kZSIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJzdXBwb3NpdGlvbk5vZGVzIiwiZ2V0RGVkdWN0aW9uTm9kZSIsImRlZHVjdGlvbk5vZGUiLCJnZXRQcm9vZk5vZGUiLCJwcm9vZk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O2tFQUpPO3lCQUUyQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV4RCxJQUFBLEFBQU1BLDhCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBV0Msb0NBQXlCLEVBQ3BDQyxvQkFBb0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7Z0JBRWpELE9BQU9FO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUosV0FBV0ssc0NBQTJCLEVBQ3RDQyxzQkFBc0IsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7Z0JBRW5ELE9BQU9NO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUQsc0JBQXNCLElBQUksQ0FBQ0Ysc0JBQXNCLElBQ2pESSxZQUFZRixvQkFBb0JDLFlBQVk7Z0JBRWxELE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVAsb0JBQW9CLElBQUksQ0FBQ0gsb0JBQW9CLElBQzdDVyxtQkFBbUJSLGtCQUFrQk8sbUJBQW1CO2dCQUU5RCxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1ULG9CQUFvQixJQUFJLENBQUNILG9CQUFvQixJQUM3Q2EsZ0JBQWdCVixrQkFBa0JTLGdCQUFnQjtnQkFFeEQsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNWCxvQkFBb0IsSUFBSSxDQUFDSCxvQkFBb0IsSUFDN0NlLFlBQVlaLGtCQUFrQlcsWUFBWTtnQkFFaEQsT0FBT0M7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNmLFFBQVEsRUFBRWdCLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQTNDN0lqQixlQTJDNkpFLFVBQVVnQixZQUFZQyxTQUFTQztZQUFhOzs7V0EzQ3pNcEI7RUFBc0JxQixvQkFBZSJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFMZW1tYS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUgZnJvbSBcIi4uL25vZGUvdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUsIE1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YUxlbW1hTm9kZSBleHRlbmRzIFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgaGVhZGVyUnVsZU5hbWUgPSBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoTWV0YUxlbW1hTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YUxlbW1hTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSIsImJvZHlSdWxlTmFtZSIsIk1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIk1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7NEVBSmlCO3lCQUVpQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFeEQsSUFBQSxBQUFNQSw4QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUtaQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsOEJBQXlCLENBQUNMLDBDQUEwQyxDQUx2SkQsZUFLdUtFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQUxuTkw7RUFBc0JNLDhCQUF5QjtBQUNsRSxpQkFEbUJOLGVBQ1pPLGdCQUFlQyxvQ0FBeUI7QUFFL0MsaUJBSG1CUixlQUdaUyxrQkFBaUJDLHNDQUEyQiJ9

package/lib/node/metatheorem.js

@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
         return MetatheoremNode;
     }
 });
-var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
+var _topLevelMetaAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelMetaAssertion"));
 var _ruleNames = require("../ruleNames");
 function _assert_this_initialized(self) {
     if (self === void 0) {
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
     if (staticProps) _defineProperties(Constructor, staticProps);
     return Constructor;
 }
+function _define_property(obj, key, value) {
+    if (key in obj) {
+        Object.defineProperty(obj, key, {
+            value: value,
+            enumerable: true,
+            configurable: true,
+            writable: true
+        });
+    } else {
+        obj[key] = value;
+    }
+    return obj;
+}
 function _get_prototype_of(o) {
     _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
         return o.__proto__ || Object.getPrototypeOf(o);
@@ -88,64 +101,23 @@ function _is_native_reflect_construct() {
         return !!result;
     })();
 }
-var MetatheoremNode = /*#__PURE__*/ function(NonTerminalNode) {
-    _inherits(MetatheoremNode, NonTerminalNode);
+var MetatheoremNode = /*#__PURE__*/ function(TopLevelMetaAssertionNode) {
+    _inherits(MetatheoremNode, TopLevelMetaAssertionNode);
     function MetatheoremNode() {
         _class_call_check(this, MetatheoremNode);
         return _call_super(this, MetatheoremNode, arguments);
     }
-    _create_class(MetatheoremNode, [
-        {
-            key: "getMetatheoremBodyNode",
-            value: function getMetatheoremBodyNode() {
-                var ruleName = _ruleNames.METATHEOREM_BODY_RULE_NAME, metatheoremBodyNode = this.getNodeByRuleName(ruleName);
-                return metatheoremBodyNode;
-            }
-        },
-        {
-            key: "getMetatheoremHeaderNode",
-            value: function getMetatheoremHeaderNode() {
-                var ruleName = _ruleNames.METATHEOREM_HEADER_RULE_NAME, metatheoremHeaderNode = this.getNodeByRuleName(ruleName);
-                return metatheoremHeaderNode;
-            }
-        },
-        {
-            key: "getLabelNode",
-            value: function getLabelNode() {
-                var metatheoremHeaderNode = this.getMetatheoremHeaderNode(), labelNode = metatheoremHeaderNode.getLabelNode();
-                return labelNode;
-            }
-        },
-        {
-            key: "getSuppositionNodes",
-            value: function getSuppositionNodes() {
-                var metatheoremBodyNode = this.getMetatheoremBodyNode(), suppositionNodes = metatheoremBodyNode.getSuppositionNodes();
-                return suppositionNodes;
-            }
-        },
-        {
-            key: "getConclusionNode",
-            value: function getConclusionNode() {
-                var metatheoremBodyNode = this.getMetatheoremBodyNode(), conclusionNode = metatheoremBodyNode.getConclusionNode();
-                return conclusionNode;
-            }
-        },
-        {
-            key: "getProofNode",
-            value: function getProofNode() {
-                var metatheoremBodyNode = this.getMetatheoremBodyNode(), proofNode = metatheoremBodyNode.getProofNode();
-                return proofNode;
-            }
-        }
-    ], [
+    _create_class(MetatheoremNode, null, [
         {
             key: "fromRuleNameChildNodesOpacityAndPrecedence",
             value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-                return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremNode, ruleName, childNodes, opacity, precedence);
+                return _topLevelMetaAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremNode, ruleName, childNodes, opacity, precedence);
             }
         }
     ]);
     return MetatheoremNode;
-}(_nonTerminal.default);
+}(_topLevelMetaAssertion.default);
+_define_property(MetatheoremNode, "bodyRuleName", _ruleNames.METATHEOREM_BODY_RULE_NAME);
+_define_property(MetatheoremNode, "headerRuleName", _ruleNames.METATHEOREM_HEADER_RULE_NAME);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGF0aGVvcmVtLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IE1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FLCBNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBNZXRhdGhlb3JlbU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRNZXRhdGhlb3JlbUJvZHlOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXRoZW9yZW1Cb2R5Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGF0aGVvcmVtQm9keU5vZGU7XG4gIH1cblxuICBnZXRNZXRhdGhlb3JlbUhlYWRlck5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FLFxuICAgICAgICAgIG1ldGF0aGVvcmVtSGVhZGVyTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGF0aGVvcmVtSGVhZGVyTm9kZTtcbiAgfVxuXG4gIGdldExhYmVsTm9kZSgpIHtcbiAgICBjb25zdCBtZXRhdGhlb3JlbUhlYWRlck5vZGUgPSB0aGlzLmdldE1ldGF0aGVvcmVtSGVhZGVyTm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZSA9IG1ldGF0aGVvcmVtSGVhZGVyTm9kZS5nZXRMYWJlbE5vZGUoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGU7XG4gIH1cblxuICBnZXRTdXBwb3NpdGlvbk5vZGVzKCkge1xuICAgIGNvbnN0IG1ldGF0aGVvcmVtQm9keU5vZGUgPSB0aGlzLmdldE1ldGF0aGVvcmVtQm9keU5vZGUoKSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gbWV0YXRoZW9yZW1Cb2R5Tm9kZS5nZXRTdXBwb3NpdGlvbk5vZGVzKCk7XG5cbiAgICByZXR1cm4gc3VwcG9zaXRpb25Ob2RlcztcbiAgfVxuXG4gIGdldENvbmNsdXNpb25Ob2RlKCkge1xuICAgIGNvbnN0IG1ldGF0aGVvcmVtQm9keU5vZGUgPSB0aGlzLmdldE1ldGF0aGVvcmVtQm9keU5vZGUoKSxcbiAgICAgICAgICBjb25jbHVzaW9uTm9kZSA9IG1ldGF0aGVvcmVtQm9keU5vZGUuZ2V0Q29uY2x1c2lvbk5vZGUoKTtcblxuICAgIHJldHVybiBjb25jbHVzaW9uTm9kZTtcbiAgfVxuXG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCBtZXRhdGhlb3JlbUJvZHlOb2RlID0gdGhpcy5nZXRNZXRhdGhlb3JlbUJvZHlOb2RlKCksXG4gICAgICAgICAgcHJvb2ZOb2RlID0gbWV0YXRoZW9yZW1Cb2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKE1ldGF0aGVvcmVtTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YXRoZW9yZW1Ob2RlIiwiZ2V0TWV0YXRoZW9yZW1Cb2R5Tm9kZSIsInJ1bGVOYW1lIiwiTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJtZXRhdGhlb3JlbUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRNZXRhdGhlb3JlbUhlYWRlck5vZGUiLCJNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIiwibWV0YXRoZW9yZW1IZWFkZXJOb2RlIiwiZ2V0TGFiZWxOb2RlIiwibGFiZWxOb2RlIiwiZ2V0U3VwcG9zaXRpb25Ob2RlcyIsInN1cHBvc2l0aW9uTm9kZXMiLCJnZXRDb25jbHVzaW9uTm9kZSIsImNvbmNsdXNpb25Ob2RlIiwiZ2V0UHJvb2ZOb2RlIiwicHJvb2ZOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFNkM7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFMUQsSUFBQSxBQUFNQSxnQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLHFDQUEwQixFQUNyQ0Msc0JBQXNCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO2dCQUVuRCxPQUFPRTtZQUNUOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1KLFdBQVdLLHVDQUE0QixFQUN2Q0Msd0JBQXdCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNIO2dCQUVyRCxPQUFPTTtZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1ELHdCQUF3QixJQUFJLENBQUNGLHdCQUF3QixJQUNyREksWUFBWUYsc0JBQXNCQyxZQUFZO2dCQUVwRCxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1QLHNCQUFzQixJQUFJLENBQUNILHNCQUFzQixJQUNqRFcsbUJBQW1CUixvQkFBb0JPLG1CQUFtQjtnQkFFaEUsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNVCxzQkFBc0IsSUFBSSxDQUFDSCxzQkFBc0IsSUFDakRhLGlCQUFpQlYsb0JBQW9CUyxpQkFBaUI7Z0JBRTVELE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVgsc0JBQXNCLElBQUksQ0FBQ0gsc0JBQXNCLElBQ2pEZSxZQUFZWixvQkFBb0JXLFlBQVk7Z0JBRWxELE9BQU9DO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDZixRQUFRLEVBQUVnQixVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0EzQzdJakIsaUJBMkMrSkUsVUFBVWdCLFlBQVlDLFNBQVNDO1lBQWE7OztXQTNDM01wQjtFQUF3QnFCLG9CQUFlIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGF0aGVvcmVtLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi4vbm9kZS90b3BMZXZlbE1ldGFBc3NlcnRpb25cIjtcblxuaW1wb3J0IHsgTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUsIE1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGF0aGVvcmVtTm9kZSBleHRlbmRzIFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShNZXRhdGhlb3JlbU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGF0aGVvcmVtTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSIsImJvZHlSdWxlTmFtZSIsIk1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FIiwiaGVhZGVyUnVsZU5hbWUiLCJNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7Ozs0RUFKaUI7eUJBRW1DOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxRCxJQUFBLEFBQU1BLGdDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBS1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyw4QkFBeUIsQ0FBQ0wsMENBQTBDLENBTHZKRCxpQkFLeUtFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQUxyTkw7RUFBd0JNLDhCQUF5QjtBQUNwRSxpQkFEbUJOLGlCQUNaTyxnQkFBZUMscUNBQTBCO0FBRWhELGlCQUhtQlIsaUJBR1pTLGtCQUFpQkMsdUNBQTRCIn0=

package/lib/node/parameter.js

@@ -95,17 +95,17 @@ var ParameterNode = /*#__PURE__*/ function(NonTerminalNode) {
     }
     _create_class(ParameterNode, [
         {
-            key: "getParameterName",
-            value: function getParameterName() {
-                var parameterName;
+            key: "getParameterValue",
+            value: function getParameterValue() {
+                var parameterValue;
                 this.someChildNode(function(childNode, index) {
-                    var nameTerminalNode = childNode, content = nameTerminalNode.getContent();
-                    parameterName = content; ///
+                    var terminalNode = childNode, content = terminalNode.getContent();
+                    parameterValue = content; ///
                     if (index === 0) {
                         return true;
                     }
                 });
-                return parameterName;
+                return parameterValue;
             }
         }
     ], [
@@ -119,4 +119,4 @@ var ParameterNode = /*#__PURE__*/ function(NonTerminalNode) {
     return ParameterNode;
 }(_nonTerminal.default);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmFtZXRlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQYXJhbWV0ZXJOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0UGFyYW1ldGVyTmFtZSgpIHtcbiAgICBsZXQgcGFyYW1ldGVyTmFtZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgY29uc3QgbmFtZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICBjb250ZW50ID0gbmFtZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgIHBhcmFtZXRlck5hbWUgPSBjb250ZW50OyAgLy8vXG5cbiAgICAgIGlmIChpbmRleCA9PT0gMCkge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBwYXJhbWV0ZXJOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQYXJhbWV0ZXJOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQYXJhbWV0ZXJOb2RlIiwiZ2V0UGFyYW1ldGVyTmFtZSIsInBhcmFtZXRlck5hbWUiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiaW5kZXgiLCJuYW1lVGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7a0VBRk87Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFYixJQUFBLEFBQU1BLDhCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUM7Z0JBRUosSUFBSSxDQUFDQyxhQUFhLENBQUMsU0FBQ0MsV0FBV0M7b0JBQzdCLElBQU1DLG1CQUFtQkYsV0FDbkJHLFVBQVVELGlCQUFpQkUsVUFBVTtvQkFFM0NOLGdCQUFnQkssU0FBVSxHQUFHO29CQUU3QixJQUFJRixVQUFVLEdBQUc7d0JBQ2YsT0FBTztvQkFDVDtnQkFDRjtnQkFFQSxPQUFPSDtZQUNUOzs7O1lBRU9PLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDTCwwQ0FBMEMsQ0FsQjdJVCxlQWtCNkpVLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQWxCek1iO0VBQXNCYyxvQkFBZSJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmFtZXRlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQYXJhbWV0ZXJOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0UGFyYW1ldGVyVmFsdWUoKSB7XG4gICAgbGV0IHBhcmFtZXRlclZhbHVlO1xuXG4gICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUsIGluZGV4KSA9PiB7XG4gICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgIHBhcmFtZXRlclZhbHVlID0gY29udGVudDsgIC8vL1xuXG4gICAgICBpZiAoaW5kZXggPT09IDApIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gcGFyYW1ldGVyVmFsdWU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFBhcmFtZXRlck5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlBhcmFtZXRlck5vZGUiLCJnZXRQYXJhbWV0ZXJWYWx1ZSIsInBhcmFtZXRlclZhbHVlIiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImluZGV4IiwidGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7a0VBRk87Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFYixJQUFBLEFBQU1BLDhCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUM7Z0JBRUosSUFBSSxDQUFDQyxhQUFhLENBQUMsU0FBQ0MsV0FBV0M7b0JBQzdCLElBQU1DLGVBQWVGLFdBQ2ZHLFVBQVVELGFBQWFFLFVBQVU7b0JBRXZDTixpQkFBaUJLLFNBQVUsR0FBRztvQkFFOUIsSUFBSUYsVUFBVSxHQUFHO3dCQUNmLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0g7WUFDVDs7OztZQUVPTyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0wsMENBQTBDLENBbEI3SVQsZUFrQjZKVSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FsQnpNYjtFQUFzQmMsb0JBQWUifQ==

package/lib/node/theorem.js

@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
         return TheoremNode;
     }
 });
-var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
+var _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelAssertion"));
 var _ruleNames = require("../ruleNames");
 function _assert_this_initialized(self) {
     if (self === void 0) {
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
     if (staticProps) _defineProperties(Constructor, staticProps);
     return Constructor;
 }
+function _define_property(obj, key, value) {
+    if (key in obj) {
+        Object.defineProperty(obj, key, {
+            value: value,
+            enumerable: true,
+            configurable: true,
+            writable: true
+        });
+    } else {
+        obj[key] = value;
+    }
+    return obj;
+}
 function _get_prototype_of(o) {
     _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
         return o.__proto__ || Object.getPrototypeOf(o);
@@ -88,64 +101,23 @@ function _is_native_reflect_construct() {
         return !!result;
     })();
 }
-var TheoremNode = /*#__PURE__*/ function(NonTerminalNode) {
-    _inherits(TheoremNode, NonTerminalNode);
+var TheoremNode = /*#__PURE__*/ function(TopLevelAssertionNode) {
+    _inherits(TheoremNode, TopLevelAssertionNode);
     function TheoremNode() {
         _class_call_check(this, TheoremNode);
         return _call_super(this, TheoremNode, arguments);
     }
-    _create_class(TheoremNode, [
-        {
-            key: "getTheoremBodyNode",
-            value: function getTheoremBodyNode() {
-                var ruleName = _ruleNames.THEOREM_BODY_RULE_NAME, theoremBodyNode = this.getNodeByRuleName(ruleName);
-                return theoremBodyNode;
-            }
-        },
-        {
-            key: "getTheoremHeaderNode",
-            value: function getTheoremHeaderNode() {
-                var ruleName = _ruleNames.THEOREM_HEADER_RULE_NAME, theoremHeaderNode = this.getNodeByRuleName(ruleName);
-                return theoremHeaderNode;
-            }
-        },
-        {
-            key: "getLabelsNode",
-            value: function getLabelsNode() {
-                var theoremHeaderNode = this.getTheoremHeaderNode(), labelNodes = theoremHeaderNode.getLabelNodes();
-                return labelNodes;
-            }
-        },
-        {
-            key: "getSuppositionNodes",
-            value: function getSuppositionNodes() {
-                var theoremBodyNode = this.getTheoremBodyNode(), suppositionNodes = theoremBodyNode.getSuppositionNodes();
-                return suppositionNodes;
-            }
-        },
-        {
-            key: "getDeductionNode",
-            value: function getDeductionNode() {
-                var theoremBodyNode = this.getTheoremBodyNode(), deductionNode = theoremBodyNode.getDeductionNode();
-                return deductionNode;
-            }
-        },
-        {
-            key: "getProofNode",
-            value: function getProofNode() {
-                var theoremBodyNode = this.getTheoremBodyNode(), proofNode = theoremBodyNode.getProofNode();
-                return proofNode;
-            }
-        }
-    ], [
+    _create_class(TheoremNode, null, [
         {
             key: "fromRuleNameChildNodesOpacityAndPrecedence",
             value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-                return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(TheoremNode, ruleName, childNodes, opacity, precedence);
+                return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(TheoremNode, ruleName, childNodes, opacity, precedence);
             }
         }
     ]);
     return TheoremNode;
-}(_nonTerminal.default);
+}(_topLevelAssertion.default);
+_define_property(TheoremNode, "bodyRuleName", _ruleNames.THEOREM_BODY_RULE_NAME);
+_define_property(TheoremNode, "headerRuleName", _ruleNames.THEOREM_HEADER_RULE_NAME);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RoZW9yZW0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSwgVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUaGVvcmVtTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFRoZW9yZW1Cb2R5Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRIRU9SRU1fQk9EWV9SVUxFX05BTUUsXG4gICAgICAgICAgdGhlb3JlbUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGhlb3JlbUJvZHlOb2RlO1xuICB9XG5cbiAgZ2V0VGhlb3JlbUhlYWRlck5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUsXG4gICAgICAgICAgdGhlb3JlbUhlYWRlck5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0aGVvcmVtSGVhZGVyTm9kZTtcbiAgfVxuXG4gIGdldExhYmVsc05vZGUoKSB7XG4gICAgY29uc3QgdGhlb3JlbUhlYWRlck5vZGUgPSB0aGlzLmdldFRoZW9yZW1IZWFkZXJOb2RlKCksXG4gICAgICAgICAgbGFiZWxOb2RlcyA9IHRoZW9yZW1IZWFkZXJOb2RlLmdldExhYmVsTm9kZXMoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGVzO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCB0aGVvcmVtQm9keU5vZGUgPSB0aGlzLmdldFRoZW9yZW1Cb2R5Tm9kZSgpLFxuICAgICAgICAgIHN1cHBvc2l0aW9uTm9kZXMgPSB0aGVvcmVtQm9keU5vZGUuZ2V0U3VwcG9zaXRpb25Ob2RlcygpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBnZXREZWR1Y3Rpb25Ob2RlKCkge1xuICAgIGNvbnN0IHRoZW9yZW1Cb2R5Tm9kZSA9IHRoaXMuZ2V0VGhlb3JlbUJvZHlOb2RlKCksXG4gICAgICAgICAgZGVkdWN0aW9uTm9kZSA9IHRoZW9yZW1Cb2R5Tm9kZS5nZXREZWR1Y3Rpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gZGVkdWN0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCB0aGVvcmVtQm9keU5vZGUgPSB0aGlzLmdldFRoZW9yZW1Cb2R5Tm9kZSgpLFxuICAgICAgICAgIHByb29mTm9kZSA9IHRoZW9yZW1Cb2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFRoZW9yZW1Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJUaGVvcmVtTm9kZSIsImdldFRoZW9yZW1Cb2R5Tm9kZSIsInJ1bGVOYW1lIiwiVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsInRoZW9yZW1Cb2R5Tm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0VGhlb3JlbUhlYWRlck5vZGUiLCJUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJ0aGVvcmVtSGVhZGVyTm9kZSIsImdldExhYmVsc05vZGUiLCJsYWJlbE5vZGVzIiwiZ2V0TGFiZWxOb2RlcyIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJzdXBwb3NpdGlvbk5vZGVzIiwiZ2V0RGVkdWN0aW9uTm9kZSIsImRlZHVjdGlvbk5vZGUiLCJnZXRQcm9vZk5vZGUiLCJwcm9vZk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O2tFQUpPO3lCQUVxQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVsRCxJQUFBLEFBQU1BLDRCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBV0MsaUNBQXNCLEVBQ2pDQyxrQkFBa0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7Z0JBRS9DLE9BQU9FO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUosV0FBV0ssbUNBQXdCLEVBQ25DQyxvQkFBb0IsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7Z0JBRWpELE9BQU9NO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUQsb0JBQW9CLElBQUksQ0FBQ0Ysb0JBQW9CLElBQzdDSSxhQUFhRixrQkFBa0JHLGFBQWE7Z0JBRWxELE9BQU9EO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVIsa0JBQWtCLElBQUksQ0FBQ0gsa0JBQWtCLElBQ3pDWSxtQkFBbUJULGdCQUFnQlEsbUJBQW1CO2dCQUU1RCxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1WLGtCQUFrQixJQUFJLENBQUNILGtCQUFrQixJQUN6Q2MsZ0JBQWdCWCxnQkFBZ0JVLGdCQUFnQjtnQkFFdEQsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNWixrQkFBa0IsSUFBSSxDQUFDSCxrQkFBa0IsSUFDekNnQixZQUFZYixnQkFBZ0JZLFlBQVk7Z0JBRTlDLE9BQU9DO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDaEIsUUFBUSxFQUFFaUIsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBM0M3SWxCLGFBMkMySkUsVUFBVWlCLFlBQVlDLFNBQVNDO1lBQWE7OztXQTNDdk1yQjtFQUFvQnNCLG9CQUFlIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RoZW9yZW0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUb3BMZXZlbEFzc2VydGlvbk5vZGUgZnJvbSBcIi4uL25vZGUvdG9wTGV2ZWxBc3NlcnRpb25cIjtcblxuaW1wb3J0IHsgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSwgVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUaGVvcmVtTm9kZSBleHRlbmRzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSB7XG4gIHN0YXRpYyBib2R5UnVsZU5hbWUgPSBUSEVPUkVNX0JPRFlfUlVMRV9OQU1FO1xuXG4gIHN0YXRpYyBoZWFkZXJSdWxlTmFtZSA9IFRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFRoZW9yZW1Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJUaGVvcmVtTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIiwiYm9keVJ1bGVOYW1lIiwiVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsImhlYWRlclJ1bGVOYW1lIiwiVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7Ozt3RUFKYTt5QkFFK0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWxELElBQUEsQUFBTUEsNEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFLWkMsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLDBCQUFxQixDQUFDTCwwQ0FBMEMsQ0FMbkpELGFBS2lLRSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FMN01MO0VBQW9CTSwwQkFBcUI7QUFDNUQsaUJBRG1CTixhQUNaTyxnQkFBZUMsaUNBQXNCO0FBRTVDLGlCQUhtQlIsYUFHWlMsa0JBQWlCQyxtQ0FBd0IifQ==

package/lib/node/topLevelAssertion.js

@@ -0,0 +1,157 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return TopLevelAssertionNode;
+    }
+});
+var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
+function _assert_this_initialized(self) {
+    if (self === void 0) {
+        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
+    }
+    return self;
+}
+function _call_super(_this, derived, args) {
+    derived = _get_prototype_of(derived);
+    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
+}
+function _class_call_check(instance, Constructor) {
+    if (!(instance instanceof Constructor)) {
+        throw new TypeError("Cannot call a class as a function");
+    }
+}
+function _defineProperties(target, props) {
+    for(var i = 0; i < props.length; i++){
+        var descriptor = props[i];
+        descriptor.enumerable = descriptor.enumerable || false;
+        descriptor.configurable = true;
+        if ("value" in descriptor) descriptor.writable = true;
+        Object.defineProperty(target, descriptor.key, descriptor);
+    }
+}
+function _create_class(Constructor, protoProps, staticProps) {
+    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
+    if (staticProps) _defineProperties(Constructor, staticProps);
+    return Constructor;
+}
+function _get_prototype_of(o) {
+    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
+        return o.__proto__ || Object.getPrototypeOf(o);
+    };
+    return _get_prototype_of(o);
+}
+function _inherits(subClass, superClass) {
+    if (typeof superClass !== "function" && superClass !== null) {
+        throw new TypeError("Super expression must either be null or a function");
+    }
+    subClass.prototype = Object.create(superClass && superClass.prototype, {
+        constructor: {
+            value: subClass,
+            writable: true,
+            configurable: true
+        }
+    });
+    if (superClass) _set_prototype_of(subClass, superClass);
+}
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+function _possible_constructor_return(self, call) {
+    if (call && (_type_of(call) === "object" || typeof call === "function")) {
+        return call;
+    }
+    return _assert_this_initialized(self);
+}
+function _set_prototype_of(o, p) {
+    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
+        o.__proto__ = p;
+        return o;
+    };
+    return _set_prototype_of(o, p);
+}
+function _type_of(obj) {
+    "@swc/helpers - typeof";
+    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
+}
+function _is_native_reflect_construct() {
+    try {
+        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
+    } catch (_) {}
+    return (_is_native_reflect_construct = function() {
+        return !!result;
+    })();
+}
+var TopLevelAssertionNode = /*#__PURE__*/ function(NonTerminalNode) {
+    _inherits(TopLevelAssertionNode, NonTerminalNode);
+    function TopLevelAssertionNode() {
+        _class_call_check(this, TopLevelAssertionNode);
+        return _call_super(this, TopLevelAssertionNode, arguments);
+    }
+    _create_class(TopLevelAssertionNode, [
+        {
+            key: "getBodyNode",
+            value: function getBodyNode() {
+                var bodyRuleName = this.constructor.bodyRuleName, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
+                return axiomBodyNode;
+            }
+        },
+        {
+            key: "getHeaderNode",
+            value: function getHeaderNode() {
+                var headerRuleName = this.constructor.headerRuleName, ruleName = headerRuleName, headerNode = this.getNodeByRuleName(ruleName);
+                return headerNode;
+            }
+        },
+        {
+            key: "getSignatureNode",
+            value: function getSignatureNode() {
+                var headerNode = this.getHeaderNode(), signatureNode = headerNode.getSignatureNode();
+                return signatureNode;
+            }
+        },
+        {
+            key: "getLabelNodes",
+            value: function getLabelNodes() {
+                var headerNode = this.getHeaderNode(), labelNodes = headerNode.getLabelNodes();
+                return labelNodes;
+            }
+        },
+        {
+            key: "getSuppositionNodes",
+            value: function getSuppositionNodes() {
+                var bodyNode = this.getBodyNode(), suppositionNodes = bodyNode.getSuppositionNodes();
+                return suppositionNodes;
+            }
+        },
+        {
+            key: "getDeductionNode",
+            value: function getDeductionNode() {
+                var bodyNode = this.getBodyNode(), deductionNode = bodyNode.getDeductionNode();
+                return deductionNode;
+            }
+        },
+        {
+            key: "getProofNode",
+            value: function getProofNode() {
+                var bodyNode = this.getBodyNode(), proofNode = bodyNode.getProofNode();
+                return proofNode;
+            }
+        }
+    ], [
+        {
+            key: "fromRuleNameChildNodesOpacityAndPrecedence",
+            value: function fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
+                return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
+            }
+        }
+    ]);
+    return TopLevelAssertionNode;
+}(_nonTerminal.default);
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldEJvZHlOb2RlKCkge1xuICAgIGNvbnN0IHsgYm9keVJ1bGVOYW1lIH0gPSB0aGlzLmNvbnN0cnVjdG9yLFxuICAgICAgICAgIHJ1bGVOYW1lID0gYm9keVJ1bGVOYW1lLCAgLy8vXG4gICAgICAgICAgYXhpb21Cb2R5Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGF4aW9tQm9keU5vZGU7XG4gIH1cblxuICBnZXRIZWFkZXJOb2RlKCkge1xuICAgIGNvbnN0IHsgaGVhZGVyUnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBoZWFkZXJSdWxlTmFtZSwgIC8vL1xuICAgICAgICAgIGhlYWRlck5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBoZWFkZXJOb2RlO1xuICB9XG5cbiAgZ2V0U2lnbmF0dXJlTm9kZSgpIHtcbiAgICBjb25zdCBoZWFkZXJOb2RlID0gdGhpcy5nZXRIZWFkZXJOb2RlKCksXG4gICAgICAgICAgc2lnbmF0dXJlTm9kZSA9IGhlYWRlck5vZGUuZ2V0U2lnbmF0dXJlTm9kZSgpO1xuXG4gICAgcmV0dXJuIHNpZ25hdHVyZU5vZGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGNvbnN0IGhlYWRlck5vZGUgPSB0aGlzLmdldEhlYWRlck5vZGUoKSxcbiAgICAgICAgICBsYWJlbE5vZGVzID0gaGVhZGVyTm9kZS5nZXRMYWJlbE5vZGVzKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIGdldFN1cHBvc2l0aW9uTm9kZXMoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgc3VwcG9zaXRpb25Ob2RlcyA9IGJvZHlOb2RlLmdldFN1cHBvc2l0aW9uTm9kZXMoKTtcblxuICAgIHJldHVybiBzdXBwb3NpdGlvbk5vZGVzO1xuICB9XG5cbiAgZ2V0RGVkdWN0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBkZWR1Y3Rpb25Ob2RlID0gYm9keU5vZGUuZ2V0RGVkdWN0aW9uTm9kZSgpO1xuXG4gICAgcmV0dXJuIGRlZHVjdGlvbk5vZGU7XG4gIH1cblxuICBnZXRQcm9vZk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgcHJvb2ZOb2RlID0gYm9keU5vZGUuZ2V0UHJvb2ZOb2RlKCk7XG5cbiAgICByZXR1cm4gcHJvb2ZOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlRvcExldmVsQXNzZXJ0aW9uTm9kZSIsImdldEJvZHlOb2RlIiwiYm9keVJ1bGVOYW1lIiwicnVsZU5hbWUiLCJheGlvbUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRIZWFkZXJOb2RlIiwiaGVhZGVyUnVsZU5hbWUiLCJoZWFkZXJOb2RlIiwiZ2V0U2lnbmF0dXJlTm9kZSIsInNpZ25hdHVyZU5vZGUiLCJnZXRMYWJlbE5vZGVzIiwibGFiZWxOb2RlcyIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJib2R5Tm9kZSIsInN1cHBvc2l0aW9uTm9kZXMiLCJnZXREZWR1Y3Rpb25Ob2RlIiwiZGVkdWN0aW9uTm9kZSIsImdldFByb29mTm9kZSIsInByb29mTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OztrRUFGTzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUViLElBQUEsQUFBTUEsc0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNLEFBQUVDLGVBQWlCLElBQUksQ0FBQyxXQUFXLENBQWpDQSxjQUNGQyxXQUFXRCxjQUNYRSxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0Y7Z0JBRTdDLE9BQU9DO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTSxBQUFFQyxpQkFBbUIsSUFBSSxDQUFDLFdBQVcsQ0FBbkNBLGdCQUNGSixXQUFXSSxnQkFDWEMsYUFBYSxJQUFJLENBQUNILGlCQUFpQixDQUFDRjtnQkFFMUMsT0FBT0s7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNRCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQkksZ0JBQWdCRixXQUFXQyxnQkFBZ0I7Z0JBRWpELE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUgsYUFBYSxJQUFJLENBQUNGLGFBQWEsSUFDL0JNLGFBQWFKLFdBQVdHLGFBQWE7Z0JBRTNDLE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBVyxJQUFJLENBQUNiLFdBQVcsSUFDM0JjLG1CQUFtQkQsU0FBU0QsbUJBQW1CO2dCQUVyRCxPQUFPRTtZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1GLFdBQVcsSUFBSSxDQUFDYixXQUFXLElBQzNCZ0IsZ0JBQWdCSCxTQUFTRSxnQkFBZ0I7Z0JBRS9DLE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUosV0FBVyxJQUFJLENBQUNiLFdBQVcsSUFDM0JrQixZQUFZTCxTQUFTSSxZQUFZO2dCQUV2QyxPQUFPQztZQUNUOzs7O1lBRU9DLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsS0FBSyxFQUFFbEIsUUFBUSxFQUFFbUIsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0wsMENBQTBDLENBQUNDLE9BQU9sQixVQUFVbUIsWUFBWUMsU0FBU0M7WUFBYTs7O1dBcER4TXhCO0VBQThCeUIsb0JBQWUifQ==