occam-nominal 1.0.309 → 1.0.310

package/lib/process/verify.js

@@ -19,112 +19,112 @@ class TopLevelPass extends _occamlanguages.ContinuationPass {
             nodeQuery: errorNodeQuery,
             run: (errorNode, context, continuation)=>{
                 const error = (0, _element.errorFromErrorNode)(errorNode, context);
-                error.verify(context, continuation);
+                return error.verify(context, continuation);
             }
         },
         {
             nodeQuery: ruleNodeQuery,
             run: (ruleNode, context, continuation)=>{
                 const rule = (0, _element.ruleFromRuleNode)(ruleNode, context);
-                rule.verify(context, continuation);
+                return rule.verify(context, continuation);
             }
         },
         {
             nodeQuery: axiomNodeQuery,
             run: (axiomNode, context, continuation)=>{
                 const axiom = (0, _element.axiomFromAxiomNode)(axiomNode, context);
-                axiom.verify(context, continuation);
+                return axiom.verify(context, continuation);
             }
         },
         {
             nodeQuery: lemmaNodeQuery,
             run: (lemmaNode, context, continuation)=>{
                 const lemma = (0, _element.lemmaFromLemmaNode)(lemmaNode, context);
-                lemma.verify(context, continuation);
+                return lemma.verify(context, continuation);
             }
         },
         {
             nodeQuery: schemaNodeQuery,
             run: (schemaNode, context, continuation)=>{
                 const schema = (0, _element.schemaFromSchemaNode)(schemaNode, context);
-                schema.verify(context, continuation);
+                return schema.verify(context, continuation);
             }
         },
         {
             nodeQuery: sectionNodeQuery,
             run: (sectionNode, context, continuation)=>{
                 const section = (0, _element.sectionFromSectionNode)(sectionNode, context);
-                section.verify(context, continuation);
+                return section.verify(context, continuation);
             }
         },
         {
             nodeQuery: theoremNodeQuery,
             run: (theoremNode, context, continuation)=>{
                 const theorem = (0, _element.theoremFromTheoremNode)(theoremNode, context);
-                theorem.verify(context, continuation);
+                return theorem.verify(context, continuation);
             }
         },
         {
             nodeQuery: conjectureNodeQuery,
             run: (conjectureNode, context, continuation)=>{
                 const conjecture = (0, _element.conjectureFromConjectureNode)(conjectureNode, context);
-                conjecture.verify(context, continuation);
+                return conjecture.verify(context, continuation);
             }
         },
         {
             nodeQuery: typeDeclarationNodeQuery,
             run: (typeDeclarationNode, context, continuation)=>{
                 const typeDeclaration = (0, _element.typeDeclarationFromTypeDeclarationNode)(typeDeclarationNode, context);
-                typeDeclaration.verify(context, continuation);
+                return typeDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: cotypeDeclarationNodeQuery,
             run: (cotypeDeclarationNode, context, continuation)=>{
                 const cotypeDeclaration = (0, _element.cotypeDeclarationFromCotypeDeclarationNode)(cotypeDeclarationNode, context);
-                cotypeDeclaration.verify(context, continuation);
+                return cotypeDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: variableDeclarationNodeQuery,
             run: (variableDeclarationNode, context, continuation)=>{
                 const variableDeclaration = (0, _element.variableDeclarationFromVariableDeclarationNode)(variableDeclarationNode, context);
-                variableDeclaration.verify(context, continuation);
+                return variableDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: generatorDeclarationNodeQuery,
             run: (generatorDeclarationNode, context, continuation)=>{
                 const generatorDeclaration = (0, _element.generatorDeclarationFromGeneratorDeclarationNode)(generatorDeclarationNode, context);
-                generatorDeclaration.verify(context, continuation);
+                return generatorDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: typePrefixDeclarationNodeQuery,
             run: (typePrefixDeclarationNode, context, continuation)=>{
                 const typePrefixDeclaration = (0, _element.typePrefixDeclarationFromTypePrefixDeclarationNode)(typePrefixDeclarationNode, context);
-                typePrefixDeclaration.verify(context, continuation);
+                return typePrefixDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: combinatorDeclarationNodeQuery,
             run: (combinatorDeclarationNode, context, continuation)=>{
                 const combinatorDeclaration = (0, _element.combinatorDeclarationFromCombinatorDeclarationNode)(combinatorDeclarationNode, context);
-                combinatorDeclaration.verify(context, continuation);
+                return combinatorDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: constructorDeclarationNodeQuery,
             run: (constructorDeclarationNode, context, continuation)=>{
                 const constructorDeclaration = (0, _element.constructorDeclarationFromConstructorDeclarationNode)(constructorDeclarationNode, context);
-                constructorDeclaration.verify(context, continuation);
+                return constructorDeclaration.verify(context, continuation);
             }
         },
         {
             nodeQuery: metavariableDeclarationNodeQuery,
             run: (metavariableDeclarationNode, context, continuation)=>{
                 const metavariableDeclaration = (0, _element.metavariableDeclarationFromMetavariableDeclarationNode)(metavariableDeclarationNode, context);
-                metavariableDeclaration.verify(context, continuation);
+                return metavariableDeclaration.verify(context, continuation);
             }
         }
     ];
@@ -132,7 +132,7 @@ class TopLevelPass extends _occamlanguages.ContinuationPass {
 const topLevelPass = new TopLevelPass();
 function verifyFile(fileNode, context, continuation) {
     const node = fileNode; ///
-    topLevelPass.run(node, context, continuation);
+    return topLevelPass.run(node, context, continuation);
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL3ZlcmlmeS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgcXVlcnlVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tcXVlcnlcIlxuaW1wb3J0IHsgQ29udGludWF0aW9uUGFzcyB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgcnVsZUZyb21SdWxlTm9kZSxcbiAgICAgICAgIGVycm9yRnJvbUVycm9yTm9kZSxcbiAgICAgICAgIGF4aW9tRnJvbUF4aW9tTm9kZSxcbiAgICAgICAgIGxlbW1hRnJvbUxlbW1hTm9kZSxcbiAgICAgICAgIHNjaGVtYUZyb21TY2hlbWFOb2RlLFxuICAgICAgICAgc2VjdGlvbkZyb21TZWN0aW9uTm9kZSxcbiAgICAgICAgIHRoZW9yZW1Gcm9tVGhlb3JlbU5vZGUsXG4gICAgICAgICBjb25qZWN0dXJlRnJvbUNvbmplY3R1cmVOb2RlLFxuICAgICAgICAgdHlwZURlY2xhcmF0aW9uRnJvbVR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICBjb3R5cGVEZWNsYXJhdGlvbkZyb21Db3R5cGVEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICB2YXJpYWJsZURlY2xhcmF0aW9uRnJvbVZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLFxuICAgICAgICAgZ2VuZXJhdG9yRGVjbGFyYXRpb25Gcm9tR2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlLFxuICAgICAgICAgdHlwZVByZWZpeERlY2xhcmF0aW9uRnJvbVR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICBjb21iaW5hdG9yRGVjbGFyYXRpb25Gcm9tQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSxcbiAgICAgICAgIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Gcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbkZyb21NZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2VsZW1lbnRcIjtcblxuY29uc3QgeyBub2RlUXVlcnkgfSA9IHF1ZXJ5VXRpbGl0aWVzO1xuXG5jb25zdCBydWxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3J1bGVcIiksXG4gICAgICBlcnJvck5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9lcnJvclwiKSxcbiAgICAgIGF4aW9tTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2F4aW9tXCIpLFxuICAgICAgbGVtbWFOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvbGVtbWFcIiksXG4gICAgICBzY2hlbWFOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc2NoZW1hXCIpLFxuICAgICAgc2VjdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zZWN0aW9uXCIpLFxuICAgICAgdGhlb3JlbU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90aGVvcmVtXCIpLFxuICAgICAgY29uamVjdHVyZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25qZWN0dXJlXCIpLFxuICAgICAgdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVEZWNsYXJhdGlvblwiKSxcbiAgICAgIGNvdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvdHlwZURlY2xhcmF0aW9uXCIpLFxuICAgICAgdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZURlY2xhcmF0aW9uXCIpLFxuICAgICAgZ2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZ2VuZXJhdG9yRGVjbGFyYXRpb25cIiksXG4gICAgICBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29tYmluYXRvckRlY2xhcmF0aW9uXCIpLFxuICAgICAgdHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVQcmVmaXhEZWNsYXJhdGlvblwiKSxcbiAgICAgIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29uc3RydWN0b3JEZWNsYXJhdGlvblwiKSxcbiAgICAgIG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGF2YXJpYWJsZURlY2xhcmF0aW9uXCIpO1xuXG5jbGFzcyBUb3BMZXZlbFBhc3MgZXh0ZW5kcyBDb250aW51YXRpb25QYXNzIHtcbiAgc3RhdGljIG1hcHMgPSBbXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBlcnJvck5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKGVycm9yTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IGVycm9yID0gZXJyb3JGcm9tRXJyb3JOb2RlKGVycm9yTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgZXJyb3IudmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IHJ1bGVOb2RlUXVlcnksXG4gICAgICBydW46IChydWxlTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IHJ1bGUgPSBydWxlRnJvbVJ1bGVOb2RlKHJ1bGVOb2RlLCBjb250ZXh0KTtcblxuICAgICAgICBydWxlLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBheGlvbU5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKGF4aW9tTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IGF4aW9tID0gYXhpb21Gcm9tQXhpb21Ob2RlKGF4aW9tTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgYXhpb20udmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IGxlbW1hTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAobGVtbWFOb2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgbGVtbWEgPSBsZW1tYUZyb21MZW1tYU5vZGUobGVtbWFOb2RlLCBjb250ZXh0KTtcblxuICAgICAgICBsZW1tYS52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogc2NoZW1hTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAoc2NoZW1hTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IHNjaGVtYSA9IHNjaGVtYUZyb21TY2hlbWFOb2RlKHNjaGVtYU5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHNjaGVtYS52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogc2VjdGlvbk5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKHNlY3Rpb25Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3Qgc2VjdGlvbiA9IHNlY3Rpb25Gcm9tU2VjdGlvbk5vZGUoc2VjdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHNlY3Rpb24udmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IHRoZW9yZW1Ob2RlUXVlcnksXG4gICAgICBydW46ICh0aGVvcmVtTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IHRoZW9yZW0gPSB0aGVvcmVtRnJvbVRoZW9yZW1Ob2RlKHRoZW9yZW1Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgICB0aGVvcmVtLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBjb25qZWN0dXJlTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAoY29uamVjdHVyZU5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBjb25qZWN0dXJlID0gY29uamVjdHVyZUZyb21Db25qZWN0dXJlTm9kZShjb25qZWN0dXJlTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgY29uamVjdHVyZS52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAodHlwZURlY2xhcmF0aW9uTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IHR5cGVEZWNsYXJhdGlvbiA9IHR5cGVEZWNsYXJhdGlvbkZyb21UeXBlRGVjbGFyYXRpb25Ob2RlKHR5cGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHR5cGVEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogY290eXBlRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChjb3R5cGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBjb3R5cGVEZWNsYXJhdGlvbiA9IGNvdHlwZURlY2xhcmF0aW9uRnJvbUNvdHlwZURlY2xhcmF0aW9uTm9kZShjb3R5cGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIGNvdHlwZURlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAodmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCB2YXJpYWJsZURlY2xhcmF0aW9uID0gdmFyaWFibGVEZWNsYXJhdGlvbkZyb21WYXJpYWJsZURlY2xhcmF0aW9uTm9kZSh2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgdmFyaWFibGVEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogZ2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChnZW5lcmF0b3JEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBnZW5lcmF0b3JEZWNsYXJhdGlvbiA9IGdlbmVyYXRvckRlY2xhcmF0aW9uRnJvbUdlbmVyYXRvckRlY2xhcmF0aW9uTm9kZShnZW5lcmF0b3JEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIGdlbmVyYXRvckRlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0eXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46ICh0eXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgdHlwZVByZWZpeERlY2xhcmF0aW9uID0gdHlwZVByZWZpeERlY2xhcmF0aW9uRnJvbVR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUodHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgdHlwZVByZWZpeERlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgY29tYmluYXRvckRlY2xhcmF0aW9uID0gY29tYmluYXRvckRlY2xhcmF0aW9uRnJvbUNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUoY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgY29tYmluYXRvckRlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uID0gY29uc3RydWN0b3JEZWNsYXJhdGlvbkZyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZShjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgY29uc3RydWN0b3JEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbiA9IG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uRnJvbU1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZShtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH1cbiAgXTtcbn1cblxuY29uc3QgdG9wTGV2ZWxQYXNzID0gbmV3IFRvcExldmVsUGFzcygpO1xuXG5leHBvcnQgZnVuY3Rpb24gdmVyaWZ5RmlsZShmaWxlTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSB7XG4gIGNvbnN0IG5vZGUgPSBmaWxlTm9kZTsgLy8vXG5cbiAgdG9wTGV2ZWxQYXNzLnJ1bihub2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUZpbGUiLCJub2RlUXVlcnkiLCJxdWVyeVV0aWxpdGllcyIsInJ1bGVOb2RlUXVlcnkiLCJlcnJvck5vZGVRdWVyeSIsImF4aW9tTm9kZVF1ZXJ5IiwibGVtbWFOb2RlUXVlcnkiLCJzY2hlbWFOb2RlUXVlcnkiLCJzZWN0aW9uTm9kZVF1ZXJ5IiwidGhlb3JlbU5vZGVRdWVyeSIsImNvbmplY3R1cmVOb2RlUXVlcnkiLCJ0eXBlRGVjbGFyYXRpb25Ob2RlUXVlcnkiLCJjb3R5cGVEZWNsYXJhdGlvbk5vZGVRdWVyeSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlUXVlcnkiLCJnZW5lcmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSIsInR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGVRdWVyeSIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkiLCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeSIsIlRvcExldmVsUGFzcyIsIkNvbnRpbnVhdGlvblBhc3MiLCJtYXBzIiwicnVuIiwiZXJyb3JOb2RlIiwiY29udGV4dCIsImNvbnRpbnVhdGlvbiIsImVycm9yIiwiZXJyb3JGcm9tRXJyb3JOb2RlIiwidmVyaWZ5IiwicnVsZU5vZGUiLCJydWxlIiwicnVsZUZyb21SdWxlTm9kZSIsImF4aW9tTm9kZSIsImF4aW9tIiwiYXhpb21Gcm9tQXhpb21Ob2RlIiwibGVtbWFOb2RlIiwibGVtbWEiLCJsZW1tYUZyb21MZW1tYU5vZGUiLCJzY2hlbWFOb2RlIiwic2NoZW1hIiwic2NoZW1hRnJvbVNjaGVtYU5vZGUiLCJzZWN0aW9uTm9kZSIsInNlY3Rpb24iLCJzZWN0aW9uRnJvbVNlY3Rpb25Ob2RlIiwidGhlb3JlbU5vZGUiLCJ0aGVvcmVtIiwidGhlb3JlbUZyb21UaGVvcmVtTm9kZSIsImNvbmplY3R1cmVOb2RlIiwiY29uamVjdHVyZSIsImNvbmplY3R1cmVGcm9tQ29uamVjdHVyZU5vZGUiLCJ0eXBlRGVjbGFyYXRpb25Ob2RlIiwidHlwZURlY2xhcmF0aW9uIiwidHlwZURlY2xhcmF0aW9uRnJvbVR5cGVEZWNsYXJhdGlvbk5vZGUiLCJjb3R5cGVEZWNsYXJhdGlvbk5vZGUiLCJjb3R5cGVEZWNsYXJhdGlvbiIsImNvdHlwZURlY2xhcmF0aW9uRnJvbUNvdHlwZURlY2xhcmF0aW9uTm9kZSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwidmFyaWFibGVEZWNsYXJhdGlvbiIsInZhcmlhYmxlRGVjbGFyYXRpb25Gcm9tVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJnZW5lcmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJnZW5lcmF0b3JEZWNsYXJhdGlvbiIsImdlbmVyYXRvckRlY2xhcmF0aW9uRnJvbUdlbmVyYXRvckRlY2xhcmF0aW9uTm9kZSIsInR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUiLCJ0eXBlUHJlZml4RGVjbGFyYXRpb24iLCJ0eXBlUHJlZml4RGVjbGFyYXRpb25Gcm9tVHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJjb21iaW5hdG9yRGVjbGFyYXRpb24iLCJjb21iaW5hdG9yRGVjbGFyYXRpb25Gcm9tQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbiIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Gcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvbiIsIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uRnJvbU1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSIsInRvcExldmVsUGFzcyIsImZpbGVOb2RlIiwibm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBZ0xnQkE7OztlQUFBQTs7OzRCQTlLZTtnQ0FDRTt5QkFpQnNDO0FBRXZFLE1BQU0sRUFBRUMsU0FBUyxFQUFFLEdBQUdDLDBCQUFjO0FBRXBDLE1BQU1DLGdCQUFnQkYsVUFBVSxVQUMxQkcsaUJBQWlCSCxVQUFVLFdBQzNCSSxpQkFBaUJKLFVBQVUsV0FDM0JLLGlCQUFpQkwsVUFBVSxXQUMzQk0sa0JBQWtCTixVQUFVLFlBQzVCTyxtQkFBbUJQLFVBQVUsYUFDN0JRLG1CQUFtQlIsVUFBVSxhQUM3QlMsc0JBQXNCVCxVQUFVLGdCQUNoQ1UsMkJBQTJCVixVQUFVLHFCQUNyQ1csNkJBQTZCWCxVQUFVLHVCQUN2Q1ksK0JBQStCWixVQUFVLHlCQUN6Q2EsZ0NBQWdDYixVQUFVLDBCQUMxQ2MsaUNBQWlDZCxVQUFVLDJCQUMzQ2UsaUNBQWlDZixVQUFVLDJCQUMzQ2dCLGtDQUFrQ2hCLFVBQVUsNEJBQzVDaUIsbUNBQW1DakIsVUFBVTtBQUVuRCxNQUFNa0IscUJBQXFCQyxnQ0FBZ0I7SUFDekMsT0FBT0MsT0FBTztRQUNaO1lBQ0VwQixXQUFXRztZQUNYa0IsS0FBSyxDQUFDQyxXQUFXQyxTQUFTQztnQkFDeEIsTUFBTUMsUUFBUUMsSUFBQUEsMkJBQWtCLEVBQUNKLFdBQVdDO2dCQUU1Q0UsTUFBTUUsTUFBTSxDQUFDSixTQUFTQztZQUN4QjtRQUNGO1FBQ0E7WUFDRXhCLFdBQVdFO1lBQ1htQixLQUFLLENBQUNPLFVBQVVMLFNBQVNDO2dCQUN2QixNQUFNSyxPQUFPQyxJQUFBQSx5QkFBZ0IsRUFBQ0YsVUFBVUw7Z0JBRXhDTSxLQUFLRixNQUFNLENBQUNKLFNBQVNDO1lBQ3ZCO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV0k7WUFDWGlCLEtBQUssQ0FBQ1UsV0FBV1IsU0FBU0M7Z0JBQ3hCLE1BQU1RLFFBQVFDLElBQUFBLDJCQUFrQixFQUFDRixXQUFXUjtnQkFFNUNTLE1BQU1MLE1BQU0sQ0FBQ0osU0FBU0M7WUFDeEI7UUFDRjtRQUNBO1lBQ0V4QixXQUFXSztZQUNYZ0IsS0FBSyxDQUFDYSxXQUFXWCxTQUFTQztnQkFDeEIsTUFBTVcsUUFBUUMsSUFBQUEsMkJBQWtCLEVBQUNGLFdBQVdYO2dCQUU1Q1ksTUFBTVIsTUFBTSxDQUFDSixTQUFTQztZQUN4QjtRQUNGO1FBQ0E7WUFDRXhCLFdBQVdNO1lBQ1hlLEtBQUssQ0FBQ2dCLFlBQVlkLFNBQVNDO2dCQUN6QixNQUFNYyxTQUFTQyxJQUFBQSw2QkFBb0IsRUFBQ0YsWUFBWWQ7Z0JBRWhEZSxPQUFPWCxNQUFNLENBQUNKLFNBQVNDO1lBQ3pCO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV087WUFDWGMsS0FBSyxDQUFDbUIsYUFBYWpCLFNBQVNDO2dCQUMxQixNQUFNaUIsVUFBVUMsSUFBQUEsK0JBQXNCLEVBQUNGLGFBQWFqQjtnQkFFcERrQixRQUFRZCxNQUFNLENBQUNKLFNBQVNDO1lBQzFCO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV1E7WUFDWGEsS0FBSyxDQUFDc0IsYUFBYXBCLFNBQVNDO2dCQUMxQixNQUFNb0IsVUFBVUMsSUFBQUEsK0JBQXNCLEVBQUNGLGFBQWFwQjtnQkFFcERxQixRQUFRakIsTUFBTSxDQUFDSixTQUFTQztZQUMxQjtRQUNGO1FBQ0E7WUFDRXhCLFdBQVdTO1lBQ1hZLEtBQUssQ0FBQ3lCLGdCQUFnQnZCLFNBQVNDO2dCQUM3QixNQUFNdUIsYUFBYUMsSUFBQUEscUNBQTRCLEVBQUNGLGdCQUFnQnZCO2dCQUVoRXdCLFdBQVdwQixNQUFNLENBQUNKLFNBQVNDO1lBQzdCO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV1U7WUFDWFcsS0FBSyxDQUFDNEIscUJBQXFCMUIsU0FBU0M7Z0JBQ2xDLE1BQU0wQixrQkFBa0JDLElBQUFBLCtDQUFzQyxFQUFDRixxQkFBcUIxQjtnQkFFcEYyQixnQkFBZ0J2QixNQUFNLENBQUNKLFNBQVNDO1lBQ2xDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV1c7WUFDWFUsS0FBSyxDQUFDK0IsdUJBQXVCN0IsU0FBU0M7Z0JBQ3BDLE1BQU02QixvQkFBb0JDLElBQUFBLG1EQUEwQyxFQUFDRix1QkFBdUI3QjtnQkFFNUY4QixrQkFBa0IxQixNQUFNLENBQUNKLFNBQVNDO1lBQ3BDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV1k7WUFDWFMsS0FBSyxDQUFDa0MseUJBQXlCaEMsU0FBU0M7Z0JBQ3RDLE1BQU1nQyxzQkFBc0JDLElBQUFBLHVEQUE4QyxFQUFDRix5QkFBeUJoQztnQkFFcEdpQyxvQkFBb0I3QixNQUFNLENBQUNKLFNBQVNDO1lBQ3RDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2E7WUFDWFEsS0FBSyxDQUFDcUMsMEJBQTBCbkMsU0FBU0M7Z0JBQ3ZDLE1BQU1tQyx1QkFBdUJDLElBQUFBLHlEQUFnRCxFQUFDRiwwQkFBMEJuQztnQkFFeEdvQyxxQkFBcUJoQyxNQUFNLENBQUNKLFNBQVNDO1lBQ3ZDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2U7WUFDWE0sS0FBSyxDQUFDd0MsMkJBQTJCdEMsU0FBU0M7Z0JBQ3hDLE1BQU1zQyx3QkFBd0JDLElBQUFBLDJEQUFrRCxFQUFDRiwyQkFBMkJ0QztnQkFFNUd1QyxzQkFBc0JuQyxNQUFNLENBQUNKLFNBQVNDO1lBQ3hDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2M7WUFDWE8sS0FBSyxDQUFDMkMsMkJBQTJCekMsU0FBU0M7Z0JBQ3hDLE1BQU15Qyx3QkFBd0JDLElBQUFBLDJEQUFrRCxFQUFDRiwyQkFBMkJ6QztnQkFFNUcwQyxzQkFBc0J0QyxNQUFNLENBQUNKLFNBQVNDO1lBQ3hDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2dCO1lBQ1hLLEtBQUssQ0FBQzhDLDRCQUE0QjVDLFNBQVNDO2dCQUN6QyxNQUFNNEMseUJBQXlCQyxJQUFBQSw2REFBb0QsRUFBQ0YsNEJBQTRCNUM7Z0JBRWhINkMsdUJBQXVCekMsTUFBTSxDQUFDSixTQUFTQztZQUN6QztRQUNGO1FBQ0E7WUFDRXhCLFdBQVdpQjtZQUNYSSxLQUFLLENBQUNpRCw2QkFBNkIvQyxTQUFTQztnQkFDMUMsTUFBTStDLDBCQUEwQkMsSUFBQUEsK0RBQXNELEVBQUNGLDZCQUE2Qi9DO2dCQUVwSGdELHdCQUF3QjVDLE1BQU0sQ0FBQ0osU0FBU0M7WUFDMUM7UUFDRjtLQUNELENBQUM7QUFDSjtBQUVBLE1BQU1pRCxlQUFlLElBQUl2RDtBQUVsQixTQUFTbkIsV0FBVzJFLFFBQVEsRUFBRW5ELE9BQU8sRUFBRUMsWUFBWTtJQUN4RCxNQUFNbUQsT0FBT0QsVUFBVSxHQUFHO0lBRTFCRCxhQUFhcEQsR0FBRyxDQUFDc0QsTUFBTXBELFNBQVNDO0FBQ2xDIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL3ZlcmlmeS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgcXVlcnlVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tcXVlcnlcIlxuaW1wb3J0IHsgQ29udGludWF0aW9uUGFzcyB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgcnVsZUZyb21SdWxlTm9kZSxcbiAgICAgICAgIGVycm9yRnJvbUVycm9yTm9kZSxcbiAgICAgICAgIGF4aW9tRnJvbUF4aW9tTm9kZSxcbiAgICAgICAgIGxlbW1hRnJvbUxlbW1hTm9kZSxcbiAgICAgICAgIHNjaGVtYUZyb21TY2hlbWFOb2RlLFxuICAgICAgICAgc2VjdGlvbkZyb21TZWN0aW9uTm9kZSxcbiAgICAgICAgIHRoZW9yZW1Gcm9tVGhlb3JlbU5vZGUsXG4gICAgICAgICBjb25qZWN0dXJlRnJvbUNvbmplY3R1cmVOb2RlLFxuICAgICAgICAgdHlwZURlY2xhcmF0aW9uRnJvbVR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICBjb3R5cGVEZWNsYXJhdGlvbkZyb21Db3R5cGVEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICB2YXJpYWJsZURlY2xhcmF0aW9uRnJvbVZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLFxuICAgICAgICAgZ2VuZXJhdG9yRGVjbGFyYXRpb25Gcm9tR2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlLFxuICAgICAgICAgdHlwZVByZWZpeERlY2xhcmF0aW9uRnJvbVR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICBjb21iaW5hdG9yRGVjbGFyYXRpb25Gcm9tQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSxcbiAgICAgICAgIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Gcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsXG4gICAgICAgICBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbkZyb21NZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2VsZW1lbnRcIjtcblxuY29uc3QgeyBub2RlUXVlcnkgfSA9IHF1ZXJ5VXRpbGl0aWVzO1xuXG5jb25zdCBydWxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3J1bGVcIiksXG4gICAgICBlcnJvck5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9lcnJvclwiKSxcbiAgICAgIGF4aW9tTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2F4aW9tXCIpLFxuICAgICAgbGVtbWFOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvbGVtbWFcIiksXG4gICAgICBzY2hlbWFOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc2NoZW1hXCIpLFxuICAgICAgc2VjdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zZWN0aW9uXCIpLFxuICAgICAgdGhlb3JlbU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90aGVvcmVtXCIpLFxuICAgICAgY29uamVjdHVyZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25qZWN0dXJlXCIpLFxuICAgICAgdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVEZWNsYXJhdGlvblwiKSxcbiAgICAgIGNvdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvdHlwZURlY2xhcmF0aW9uXCIpLFxuICAgICAgdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZURlY2xhcmF0aW9uXCIpLFxuICAgICAgZ2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZ2VuZXJhdG9yRGVjbGFyYXRpb25cIiksXG4gICAgICBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29tYmluYXRvckRlY2xhcmF0aW9uXCIpLFxuICAgICAgdHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVQcmVmaXhEZWNsYXJhdGlvblwiKSxcbiAgICAgIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29uc3RydWN0b3JEZWNsYXJhdGlvblwiKSxcbiAgICAgIG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGF2YXJpYWJsZURlY2xhcmF0aW9uXCIpO1xuXG5jbGFzcyBUb3BMZXZlbFBhc3MgZXh0ZW5kcyBDb250aW51YXRpb25QYXNzIHtcbiAgc3RhdGljIG1hcHMgPSBbXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBlcnJvck5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKGVycm9yTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IGVycm9yID0gZXJyb3JGcm9tRXJyb3JOb2RlKGVycm9yTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIGVycm9yLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBydWxlTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAocnVsZU5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBydWxlID0gcnVsZUZyb21SdWxlTm9kZShydWxlTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIHJ1bGUudmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IGF4aW9tTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAoYXhpb21Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgYXhpb20gPSBheGlvbUZyb21BeGlvbU5vZGUoYXhpb21Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgICByZXR1cm4gYXhpb20udmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IGxlbW1hTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAobGVtbWFOb2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgbGVtbWEgPSBsZW1tYUZyb21MZW1tYU5vZGUobGVtbWFOb2RlLCBjb250ZXh0KTtcblxuICAgICAgICByZXR1cm4gbGVtbWEudmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IHNjaGVtYU5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKHNjaGVtYU5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBzY2hlbWEgPSBzY2hlbWFGcm9tU2NoZW1hTm9kZShzY2hlbWFOb2RlLCBjb250ZXh0KTtcblxuICAgICAgICByZXR1cm4gc2NoZW1hLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBzZWN0aW9uTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAoc2VjdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBzZWN0aW9uID0gc2VjdGlvbkZyb21TZWN0aW9uTm9kZShzZWN0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIHNlY3Rpb24udmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IHRoZW9yZW1Ob2RlUXVlcnksXG4gICAgICBydW46ICh0aGVvcmVtTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IHRoZW9yZW0gPSB0aGVvcmVtRnJvbVRoZW9yZW1Ob2RlKHRoZW9yZW1Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgICByZXR1cm4gdGhlb3JlbS52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogY29uamVjdHVyZU5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKGNvbmplY3R1cmVOb2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgY29uamVjdHVyZSA9IGNvbmplY3R1cmVGcm9tQ29uamVjdHVyZU5vZGUoY29uamVjdHVyZU5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBjb25qZWN0dXJlLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0eXBlRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46ICh0eXBlRGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgdHlwZURlY2xhcmF0aW9uID0gdHlwZURlY2xhcmF0aW9uRnJvbVR5cGVEZWNsYXJhdGlvbk5vZGUodHlwZURlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIHR5cGVEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogY290eXBlRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChjb3R5cGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBjb3R5cGVEZWNsYXJhdGlvbiA9IGNvdHlwZURlY2xhcmF0aW9uRnJvbUNvdHlwZURlY2xhcmF0aW9uTm9kZShjb3R5cGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBjb3R5cGVEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgdmFyaWFibGVEZWNsYXJhdGlvbiA9IHZhcmlhYmxlRGVjbGFyYXRpb25Gcm9tVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUodmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiB2YXJpYWJsZURlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBnZW5lcmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSxcbiAgICAgIHJ1bjogKGdlbmVyYXRvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IGdlbmVyYXRvckRlY2xhcmF0aW9uID0gZ2VuZXJhdG9yRGVjbGFyYXRpb25Gcm9tR2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlKGdlbmVyYXRvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIGdlbmVyYXRvckRlY2xhcmF0aW9uLnZlcmlmeShjb250ZXh0LCBjb250aW51YXRpb24pO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0eXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46ICh0eXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0LCBjb250aW51YXRpb24pID0+IHtcbiAgICAgICAgY29uc3QgdHlwZVByZWZpeERlY2xhcmF0aW9uID0gdHlwZVByZWZpeERlY2xhcmF0aW9uRnJvbVR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUodHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIHR5cGVQcmVmaXhEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5LFxuICAgICAgcnVuOiAoY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IGNvbWJpbmF0b3JEZWNsYXJhdGlvbiA9IGNvbWJpbmF0b3JEZWNsYXJhdGlvbkZyb21Db21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlKGNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBjb21iaW5hdG9yRGVjbGFyYXRpb24udmVyaWZ5KGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCwgY29udGludWF0aW9uKSA9PiB7XG4gICAgICAgIGNvbnN0IGNvbnN0cnVjdG9yRGVjbGFyYXRpb24gPSBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uRnJvbUNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlKGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgICByZXR1cm4gY29uc3RydWN0b3JEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlUXVlcnksXG4gICAgICBydW46IChtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbiA9IG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uRnJvbU1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZShtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbi52ZXJpZnkoY29udGV4dCwgY29udGludWF0aW9uKTtcbiAgICAgIH1cbiAgICB9XG4gIF07XG59XG5cbmNvbnN0IHRvcExldmVsUGFzcyA9IG5ldyBUb3BMZXZlbFBhc3MoKTtcblxuZXhwb3J0IGZ1bmN0aW9uIHZlcmlmeUZpbGUoZmlsZU5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbikge1xuICBjb25zdCBub2RlID0gZmlsZU5vZGU7IC8vL1xuXG4gIHJldHVybiB0b3BMZXZlbFBhc3MucnVuKG5vZGUsIGNvbnRleHQsIGNvbnRpbnVhdGlvbik7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5RmlsZSIsIm5vZGVRdWVyeSIsInF1ZXJ5VXRpbGl0aWVzIiwicnVsZU5vZGVRdWVyeSIsImVycm9yTm9kZVF1ZXJ5IiwiYXhpb21Ob2RlUXVlcnkiLCJsZW1tYU5vZGVRdWVyeSIsInNjaGVtYU5vZGVRdWVyeSIsInNlY3Rpb25Ob2RlUXVlcnkiLCJ0aGVvcmVtTm9kZVF1ZXJ5IiwiY29uamVjdHVyZU5vZGVRdWVyeSIsInR5cGVEZWNsYXJhdGlvbk5vZGVRdWVyeSIsImNvdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeSIsImdlbmVyYXRvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwiY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwidHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSIsIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwiVG9wTGV2ZWxQYXNzIiwiQ29udGludWF0aW9uUGFzcyIsIm1hcHMiLCJydW4iLCJlcnJvck5vZGUiLCJjb250ZXh0IiwiY29udGludWF0aW9uIiwiZXJyb3IiLCJlcnJvckZyb21FcnJvck5vZGUiLCJ2ZXJpZnkiLCJydWxlTm9kZSIsInJ1bGUiLCJydWxlRnJvbVJ1bGVOb2RlIiwiYXhpb21Ob2RlIiwiYXhpb20iLCJheGlvbUZyb21BeGlvbU5vZGUiLCJsZW1tYU5vZGUiLCJsZW1tYSIsImxlbW1hRnJvbUxlbW1hTm9kZSIsInNjaGVtYU5vZGUiLCJzY2hlbWEiLCJzY2hlbWFGcm9tU2NoZW1hTm9kZSIsInNlY3Rpb25Ob2RlIiwic2VjdGlvbiIsInNlY3Rpb25Gcm9tU2VjdGlvbk5vZGUiLCJ0aGVvcmVtTm9kZSIsInRoZW9yZW0iLCJ0aGVvcmVtRnJvbVRoZW9yZW1Ob2RlIiwiY29uamVjdHVyZU5vZGUiLCJjb25qZWN0dXJlIiwiY29uamVjdHVyZUZyb21Db25qZWN0dXJlTm9kZSIsInR5cGVEZWNsYXJhdGlvbk5vZGUiLCJ0eXBlRGVjbGFyYXRpb24iLCJ0eXBlRGVjbGFyYXRpb25Gcm9tVHlwZURlY2xhcmF0aW9uTm9kZSIsImNvdHlwZURlY2xhcmF0aW9uTm9kZSIsImNvdHlwZURlY2xhcmF0aW9uIiwiY290eXBlRGVjbGFyYXRpb25Gcm9tQ290eXBlRGVjbGFyYXRpb25Ob2RlIiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJ2YXJpYWJsZURlY2xhcmF0aW9uIiwidmFyaWFibGVEZWNsYXJhdGlvbkZyb21WYXJpYWJsZURlY2xhcmF0aW9uTm9kZSIsImdlbmVyYXRvckRlY2xhcmF0aW9uTm9kZSIsImdlbmVyYXRvckRlY2xhcmF0aW9uIiwiZ2VuZXJhdG9yRGVjbGFyYXRpb25Gcm9tR2VuZXJhdG9yRGVjbGFyYXRpb25Ob2RlIiwidHlwZVByZWZpeERlY2xhcmF0aW9uTm9kZSIsInR5cGVQcmVmaXhEZWNsYXJhdGlvbiIsInR5cGVQcmVmaXhEZWNsYXJhdGlvbkZyb21UeXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlIiwiY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbiIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbkZyb21Db21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbkZyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSIsIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uIiwibWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Gcm9tTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwidG9wTGV2ZWxQYXNzIiwiZmlsZU5vZGUiLCJub2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFnTGdCQTs7O2VBQUFBOzs7NEJBOUtlO2dDQUNFO3lCQWlCc0M7QUFFdkUsTUFBTSxFQUFFQyxTQUFTLEVBQUUsR0FBR0MsMEJBQWM7QUFFcEMsTUFBTUMsZ0JBQWdCRixVQUFVLFVBQzFCRyxpQkFBaUJILFVBQVUsV0FDM0JJLGlCQUFpQkosVUFBVSxXQUMzQkssaUJBQWlCTCxVQUFVLFdBQzNCTSxrQkFBa0JOLFVBQVUsWUFDNUJPLG1CQUFtQlAsVUFBVSxhQUM3QlEsbUJBQW1CUixVQUFVLGFBQzdCUyxzQkFBc0JULFVBQVUsZ0JBQ2hDVSwyQkFBMkJWLFVBQVUscUJBQ3JDVyw2QkFBNkJYLFVBQVUsdUJBQ3ZDWSwrQkFBK0JaLFVBQVUseUJBQ3pDYSxnQ0FBZ0NiLFVBQVUsMEJBQzFDYyxpQ0FBaUNkLFVBQVUsMkJBQzNDZSxpQ0FBaUNmLFVBQVUsMkJBQzNDZ0Isa0NBQWtDaEIsVUFBVSw0QkFDNUNpQixtQ0FBbUNqQixVQUFVO0FBRW5ELE1BQU1rQixxQkFBcUJDLGdDQUFnQjtJQUN6QyxPQUFPQyxPQUFPO1FBQ1o7WUFDRXBCLFdBQVdHO1lBQ1hrQixLQUFLLENBQUNDLFdBQVdDLFNBQVNDO2dCQUN4QixNQUFNQyxRQUFRQyxJQUFBQSwyQkFBa0IsRUFBQ0osV0FBV0M7Z0JBRTVDLE9BQU9FLE1BQU1FLE1BQU0sQ0FBQ0osU0FBU0M7WUFDL0I7UUFDRjtRQUNBO1lBQ0V4QixXQUFXRTtZQUNYbUIsS0FBSyxDQUFDTyxVQUFVTCxTQUFTQztnQkFDdkIsTUFBTUssT0FBT0MsSUFBQUEseUJBQWdCLEVBQUNGLFVBQVVMO2dCQUV4QyxPQUFPTSxLQUFLRixNQUFNLENBQUNKLFNBQVNDO1lBQzlCO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV0k7WUFDWGlCLEtBQUssQ0FBQ1UsV0FBV1IsU0FBU0M7Z0JBQ3hCLE1BQU1RLFFBQVFDLElBQUFBLDJCQUFrQixFQUFDRixXQUFXUjtnQkFFNUMsT0FBT1MsTUFBTUwsTUFBTSxDQUFDSixTQUFTQztZQUMvQjtRQUNGO1FBQ0E7WUFDRXhCLFdBQVdLO1lBQ1hnQixLQUFLLENBQUNhLFdBQVdYLFNBQVNDO2dCQUN4QixNQUFNVyxRQUFRQyxJQUFBQSwyQkFBa0IsRUFBQ0YsV0FBV1g7Z0JBRTVDLE9BQU9ZLE1BQU1SLE1BQU0sQ0FBQ0osU0FBU0M7WUFDL0I7UUFDRjtRQUNBO1lBQ0V4QixXQUFXTTtZQUNYZSxLQUFLLENBQUNnQixZQUFZZCxTQUFTQztnQkFDekIsTUFBTWMsU0FBU0MsSUFBQUEsNkJBQW9CLEVBQUNGLFlBQVlkO2dCQUVoRCxPQUFPZSxPQUFPWCxNQUFNLENBQUNKLFNBQVNDO1lBQ2hDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV087WUFDWGMsS0FBSyxDQUFDbUIsYUFBYWpCLFNBQVNDO2dCQUMxQixNQUFNaUIsVUFBVUMsSUFBQUEsK0JBQXNCLEVBQUNGLGFBQWFqQjtnQkFFcEQsT0FBT2tCLFFBQVFkLE1BQU0sQ0FBQ0osU0FBU0M7WUFDakM7UUFDRjtRQUNBO1lBQ0V4QixXQUFXUTtZQUNYYSxLQUFLLENBQUNzQixhQUFhcEIsU0FBU0M7Z0JBQzFCLE1BQU1vQixVQUFVQyxJQUFBQSwrQkFBc0IsRUFBQ0YsYUFBYXBCO2dCQUVwRCxPQUFPcUIsUUFBUWpCLE1BQU0sQ0FBQ0osU0FBU0M7WUFDakM7UUFDRjtRQUNBO1lBQ0V4QixXQUFXUztZQUNYWSxLQUFLLENBQUN5QixnQkFBZ0J2QixTQUFTQztnQkFDN0IsTUFBTXVCLGFBQWFDLElBQUFBLHFDQUE0QixFQUFDRixnQkFBZ0J2QjtnQkFFaEUsT0FBT3dCLFdBQVdwQixNQUFNLENBQUNKLFNBQVNDO1lBQ3BDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV1U7WUFDWFcsS0FBSyxDQUFDNEIscUJBQXFCMUIsU0FBU0M7Z0JBQ2xDLE1BQU0wQixrQkFBa0JDLElBQUFBLCtDQUFzQyxFQUFDRixxQkFBcUIxQjtnQkFFcEYsT0FBTzJCLGdCQUFnQnZCLE1BQU0sQ0FBQ0osU0FBU0M7WUFDekM7UUFDRjtRQUNBO1lBQ0V4QixXQUFXVztZQUNYVSxLQUFLLENBQUMrQix1QkFBdUI3QixTQUFTQztnQkFDcEMsTUFBTTZCLG9CQUFvQkMsSUFBQUEsbURBQTBDLEVBQUNGLHVCQUF1QjdCO2dCQUU1RixPQUFPOEIsa0JBQWtCMUIsTUFBTSxDQUFDSixTQUFTQztZQUMzQztRQUNGO1FBQ0E7WUFDRXhCLFdBQVdZO1lBQ1hTLEtBQUssQ0FBQ2tDLHlCQUF5QmhDLFNBQVNDO2dCQUN0QyxNQUFNZ0Msc0JBQXNCQyxJQUFBQSx1REFBOEMsRUFBQ0YseUJBQXlCaEM7Z0JBRXBHLE9BQU9pQyxvQkFBb0I3QixNQUFNLENBQUNKLFNBQVNDO1lBQzdDO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2E7WUFDWFEsS0FBSyxDQUFDcUMsMEJBQTBCbkMsU0FBU0M7Z0JBQ3ZDLE1BQU1tQyx1QkFBdUJDLElBQUFBLHlEQUFnRCxFQUFDRiwwQkFBMEJuQztnQkFFeEcsT0FBT29DLHFCQUFxQmhDLE1BQU0sQ0FBQ0osU0FBU0M7WUFDOUM7UUFDRjtRQUNBO1lBQ0V4QixXQUFXZTtZQUNYTSxLQUFLLENBQUN3QywyQkFBMkJ0QyxTQUFTQztnQkFDeEMsTUFBTXNDLHdCQUF3QkMsSUFBQUEsMkRBQWtELEVBQUNGLDJCQUEyQnRDO2dCQUU1RyxPQUFPdUMsc0JBQXNCbkMsTUFBTSxDQUFDSixTQUFTQztZQUMvQztRQUNGO1FBQ0E7WUFDRXhCLFdBQVdjO1lBQ1hPLEtBQUssQ0FBQzJDLDJCQUEyQnpDLFNBQVNDO2dCQUN4QyxNQUFNeUMsd0JBQXdCQyxJQUFBQSwyREFBa0QsRUFBQ0YsMkJBQTJCekM7Z0JBRTVHLE9BQU8wQyxzQkFBc0J0QyxNQUFNLENBQUNKLFNBQVNDO1lBQy9DO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2dCO1lBQ1hLLEtBQUssQ0FBQzhDLDRCQUE0QjVDLFNBQVNDO2dCQUN6QyxNQUFNNEMseUJBQXlCQyxJQUFBQSw2REFBb0QsRUFBQ0YsNEJBQTRCNUM7Z0JBRWhILE9BQU82Qyx1QkFBdUJ6QyxNQUFNLENBQUNKLFNBQVNDO1lBQ2hEO1FBQ0Y7UUFDQTtZQUNFeEIsV0FBV2lCO1lBQ1hJLEtBQUssQ0FBQ2lELDZCQUE2Qi9DLFNBQVNDO2dCQUMxQyxNQUFNK0MsMEJBQTBCQyxJQUFBQSwrREFBc0QsRUFBQ0YsNkJBQTZCL0M7Z0JBRXBILE9BQU9nRCx3QkFBd0I1QyxNQUFNLENBQUNKLFNBQVNDO1lBQ2pEO1FBQ0Y7S0FDRCxDQUFDO0FBQ0o7QUFFQSxNQUFNaUQsZUFBZSxJQUFJdkQ7QUFFbEIsU0FBU25CLFdBQVcyRSxRQUFRLEVBQUVuRCxPQUFPLEVBQUVDLFlBQVk7SUFDeEQsTUFBTW1ELE9BQU9ELFVBQVUsR0FBRztJQUUxQixPQUFPRCxhQUFhcEQsR0FBRyxDQUFDc0QsTUFBTXBELFNBQVNDO0FBQ3pDIn0=

package/lib/utilities/continuation.js

@@ -47,15 +47,15 @@ const _occamlanguages = require("occam-languages");
 const { some, every, match, reduce, forEach, extract, resolve, forwardsEvery, backwardsEvery } = _occamlanguages.continuationUtilities;
 function all(callbacks, ...remainingArguments) {
     const continuation = remainingArguments.pop();
-    every(callbacks, (callback, continuation)=>{
-        callback(...remainingArguments, continuation);
+    return every(callbacks, (callback, continuation)=>{
+        return callback(...remainingArguments, continuation);
     }, continuation);
 }
 function exists(callbacks, ...remainingArguments) {
     const continuation = remainingArguments.pop();
-    some(callbacks, (callback, continuation)=>{
-        callback(...remainingArguments, continuation);
+    return some(callbacks, (callback, continuation)=>{
+        return callback(...remainingArguments, continuation);
     }, continuation);
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY29udGludWF0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBjb250aW51YXRpb25VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBjb25zdCB7IHNvbWUsIGV2ZXJ5LCBtYXRjaCwgcmVkdWNlLCBmb3JFYWNoLCBleHRyYWN0LCByZXNvbHZlLCBmb3J3YXJkc0V2ZXJ5LCBiYWNrd2FyZHNFdmVyeSB9ID0gY29udGludWF0aW9uVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gYWxsKGNhbGxiYWNrcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gIGNvbnN0IGNvbnRpbnVhdGlvbiA9IHJlbWFpbmluZ0FyZ3VtZW50cy5wb3AoKTtcblxuICBldmVyeShjYWxsYmFja3MsIChjYWxsYmFjaywgY29udGludWF0aW9uKSA9PiB7XG4gICAgY2FsbGJhY2soLi4ucmVtYWluaW5nQXJndW1lbnRzLCBjb250aW51YXRpb24pO1xuICB9LCBjb250aW51YXRpb24pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gZXhpc3RzKGNhbGxiYWNrcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gIGNvbnN0IGNvbnRpbnVhdGlvbiA9IHJlbWFpbmluZ0FyZ3VtZW50cy5wb3AoKTtcblxuICBzb21lKGNhbGxiYWNrcywgKGNhbGxiYWNrLCBjb250aW51YXRpb24pID0+IHtcbiAgICBjYWxsYmFjayguLi5yZW1haW5pbmdBcmd1bWVudHMsIGNvbnRpbnVhdGlvbik7XG4gIH0sIGNvbnRpbnVhdGlvbik7XG59XG4iXSwibmFtZXMiOlsiYWxsIiwiYmFja3dhcmRzRXZlcnkiLCJldmVyeSIsImV4aXN0cyIsImV4dHJhY3QiLCJmb3JFYWNoIiwiZm9yd2FyZHNFdmVyeSIsIm1hdGNoIiwicmVkdWNlIiwicmVzb2x2ZSIsInNvbWUiLCJjb250aW51YXRpb25VdGlsaXRpZXMiLCJjYWxsYmFja3MiLCJyZW1haW5pbmdBcmd1bWVudHMiLCJjb250aW51YXRpb24iLCJwb3AiLCJjYWxsYmFjayJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBTWdCQTtlQUFBQTs7UUFGcUVDO2VBQUFBOztRQUFoRUM7ZUFBQUE7O1FBVUxDO2VBQUFBOztRQVZvQ0M7ZUFBQUE7O1FBQVRDO2VBQUFBOztRQUEyQkM7ZUFBQUE7O1FBQTFDQztlQUFBQTs7UUFBT0M7ZUFBQUE7O1FBQTBCQztlQUFBQTs7UUFBOUNDO2VBQUFBOzs7Z0NBRnVCO0FBRS9CLE1BQU0sRUFBRUEsSUFBSSxFQUFFUixLQUFLLEVBQUVLLEtBQUssRUFBRUMsTUFBTSxFQUFFSCxPQUFPLEVBQUVELE9BQU8sRUFBRUssT0FBTyxFQUFFSCxhQUFhLEVBQUVMLGNBQWMsRUFBRSxHQUFHVSxxQ0FBcUI7QUFFdEgsU0FBU1gsSUFBSVksU0FBUyxFQUFFLEdBQUdDLGtCQUFrQjtJQUNsRCxNQUFNQyxlQUFlRCxtQkFBbUJFLEdBQUc7SUFFM0NiLE1BQU1VLFdBQVcsQ0FBQ0ksVUFBVUY7UUFDMUJFLFlBQVlILG9CQUFvQkM7SUFDbEMsR0FBR0E7QUFDTDtBQUVPLFNBQVNYLE9BQU9TLFNBQVMsRUFBRSxHQUFHQyxrQkFBa0I7SUFDckQsTUFBTUMsZUFBZUQsbUJBQW1CRSxHQUFHO0lBRTNDTCxLQUFLRSxXQUFXLENBQUNJLFVBQVVGO1FBQ3pCRSxZQUFZSCxvQkFBb0JDO0lBQ2xDLEdBQUdBO0FBQ0wifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY29udGludWF0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBjb250aW51YXRpb25VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBjb25zdCB7IHNvbWUsIGV2ZXJ5LCBtYXRjaCwgcmVkdWNlLCBmb3JFYWNoLCBleHRyYWN0LCByZXNvbHZlLCBmb3J3YXJkc0V2ZXJ5LCBiYWNrd2FyZHNFdmVyeSB9ID0gY29udGludWF0aW9uVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gYWxsKGNhbGxiYWNrcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gIGNvbnN0IGNvbnRpbnVhdGlvbiA9IHJlbWFpbmluZ0FyZ3VtZW50cy5wb3AoKTtcblxuICByZXR1cm4gZXZlcnkoY2FsbGJhY2tzLCAoY2FsbGJhY2ssIGNvbnRpbnVhdGlvbikgPT4ge1xuICAgIHJldHVybiBjYWxsYmFjayguLi5yZW1haW5pbmdBcmd1bWVudHMsIGNvbnRpbnVhdGlvbik7XG4gIH0sIGNvbnRpbnVhdGlvbik7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBleGlzdHMoY2FsbGJhY2tzLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgY29uc3QgY29udGludWF0aW9uID0gcmVtYWluaW5nQXJndW1lbnRzLnBvcCgpO1xuXG4gIHJldHVybiBzb21lKGNhbGxiYWNrcywgKGNhbGxiYWNrLCBjb250aW51YXRpb24pID0+IHtcbiAgICByZXR1cm4gY2FsbGJhY2soLi4ucmVtYWluaW5nQXJndW1lbnRzLCBjb250aW51YXRpb24pO1xuICB9LCBjb250aW51YXRpb24pO1xufVxuIl0sIm5hbWVzIjpbImFsbCIsImJhY2t3YXJkc0V2ZXJ5IiwiZXZlcnkiLCJleGlzdHMiLCJleHRyYWN0IiwiZm9yRWFjaCIsImZvcndhcmRzRXZlcnkiLCJtYXRjaCIsInJlZHVjZSIsInJlc29sdmUiLCJzb21lIiwiY29udGludWF0aW9uVXRpbGl0aWVzIiwiY2FsbGJhY2tzIiwicmVtYWluaW5nQXJndW1lbnRzIiwiY29udGludWF0aW9uIiwicG9wIiwiY2FsbGJhY2siXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQU1nQkE7ZUFBQUE7O1FBRnFFQztlQUFBQTs7UUFBaEVDO2VBQUFBOztRQVVMQztlQUFBQTs7UUFWb0NDO2VBQUFBOztRQUFUQztlQUFBQTs7UUFBMkJDO2VBQUFBOztRQUExQ0M7ZUFBQUE7O1FBQU9DO2VBQUFBOztRQUEwQkM7ZUFBQUE7O1FBQTlDQztlQUFBQTs7O2dDQUZ1QjtBQUUvQixNQUFNLEVBQUVBLElBQUksRUFBRVIsS0FBSyxFQUFFSyxLQUFLLEVBQUVDLE1BQU0sRUFBRUgsT0FBTyxFQUFFRCxPQUFPLEVBQUVLLE9BQU8sRUFBRUgsYUFBYSxFQUFFTCxjQUFjLEVBQUUsR0FBR1UscUNBQXFCO0FBRXRILFNBQVNYLElBQUlZLFNBQVMsRUFBRSxHQUFHQyxrQkFBa0I7SUFDbEQsTUFBTUMsZUFBZUQsbUJBQW1CRSxHQUFHO0lBRTNDLE9BQU9iLE1BQU1VLFdBQVcsQ0FBQ0ksVUFBVUY7UUFDakMsT0FBT0UsWUFBWUgsb0JBQW9CQztJQUN6QyxHQUFHQTtBQUNMO0FBRU8sU0FBU1gsT0FBT1MsU0FBUyxFQUFFLEdBQUdDLGtCQUFrQjtJQUNyRCxNQUFNQyxlQUFlRCxtQkFBbUJFLEdBQUc7SUFFM0MsT0FBT0wsS0FBS0UsV0FBVyxDQUFDSSxVQUFVRjtRQUNoQyxPQUFPRSxZQUFZSCxvQkFBb0JDO0lBQ3pDLEdBQUdBO0FBQ0wifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-nominal",
   "author": "James Smith",
-  "version": "1.0.309",
+  "version": "1.0.310",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-nominal",
   "description": "Occam's Nominal language.",
@@ -11,9 +11,9 @@
   },
   "dependencies": {
     "necessary": "^17.5.2",
-    "occam-furtle": "^3.0.401",
+    "occam-furtle": "^3.0.403",
     "occam-grammar-utilities": "^8.1.17",
-    "occam-languages": "^2.1.31",
+    "occam-languages": "^2.1.33",
     "occam-query": "^4.1.198"
   },
   "devDependencies": {

package/src/context/file/nominal.js

@@ -731,7 +731,7 @@ export default class NominalFileContext extends FileContext {
           context = this, ///
           fileNode = node;  ///
 
-    verifyFile(fileNode, context, continuation);
+    return verifyFile(fileNode, context, continuation);
   }
 
   initialise() {

package/src/element/assertion/subproof.js

@@ -94,7 +94,7 @@ export default define(class SubproofAssertion extends Assertion {
   }
 
   validateStatements(context, continuation) {
-    every(this.statements, (statement, continuation) => {
+    return every(this.statements, (statement, continuation) => {
       descend((context) => {
         statement.validate(context, (statement) => {
           let statementValidates = false;
@@ -280,10 +280,10 @@ export default define(class SubproofAssertion extends Assertion {
 
     let index = -1;
 
-    backwardsEvery(suppositions, (supposition, continuation) => {
+    return backwardsEvery(suppositions, (supposition, continuation) => {
       index++;
 
-      this.unifySupposition(supposition, index, generalContext, specificContext, continuation);
+      return this.unifySupposition(supposition, index, generalContext, specificContext, continuation);
     }, continuation);
   }
 

package/src/element/derivation.js

@@ -35,7 +35,7 @@ export default define(class Derivation extends Element {
   }
 
   verify(context, continuation) {
-    every(this.subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
+    return every(this.subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
       subproofOrProofAssertion.verify(context, (subproofOrProofAssertionVerifies) => {
         if (subproofOrProofAssertionVerifies) {
           context.assignAssignments();
@@ -43,7 +43,7 @@ export default define(class Derivation extends Element {
           context.addSubproofOrProofAssertion(subproofOrProofAssertion);
         }
 
-        continuation(subproofOrProofAssertionVerifies);
+        return continuation(subproofOrProofAssertionVerifies);
       });
     }, continuation);
   }

package/src/element/frame.js

@@ -221,8 +221,8 @@ export default define(class Frame extends Element {
 
     const assumptions = [];
 
-    every(this.assumptions, (assumption) => {
-      this.validateAssumption(assumption, assumptions, context, continuation);
+    return every(this.assumptions, (assumption) => {
+      return this.validateAssumption(assumption, assumptions, context, continuation);
     }, (assumptionsValidate) => {
       if (assumptionsValidate) {
         this.assumptions = assumptions;

package/src/element/procedureCall.js

@@ -9,7 +9,7 @@ import { instantiate } from "../utilities/context";
 import { instantiateProcedureCall } from "../process/instantiate";
 import { parametersFromProcedureCallNode, procedureReferenceFromProcedureCallNode } from "../utilities/element";
 
-const { breakPointFromJSON, breakPointToBreakPointJSON } = breakPointUtilities;
+const { breakable, breakPointFromJSON, breakPointToBreakPointJSON } = breakPointUtilities;
 
 export default define(class ProcedureCall extends Element {
   constructor(context, string, node, breakPoint, parameters, procedureReference) {
@@ -44,7 +44,8 @@ export default define(class ProcedureCall extends Element {
   }
 
   findValues(context) {
-    const substitutions = context.getSubstitutions(),
+    const derivedSubstitutions = context.getDerivedSubstitutions(),
+          substitutions = derivedSubstitutions, ///
           values = this.parameters.map((parameter) => {
             const value = parameter.findValue(substitutions);
 
@@ -83,9 +84,7 @@ export default define(class ProcedureCall extends Element {
     continuation(validates);
   }
 
-  async unifyIndependently(context) {
-    let unifiesIndependently = false;
-
+  unifyIndependently = breakable(function (context, continuation) {
     const procedureCallString = this.getString(); ///
 
     context.trace(`Unifying the '${procedureCallString}' procedure call independently...`);
@@ -94,38 +93,38 @@ export default define(class ProcedureCall extends Element {
           procedure = context.findProcedureByProcedureName(procedureName),
           values = this.findValues(context);
 
-    let term = null;
-
     try {
-      term = await procedure.callNominally(values);
-    } catch (exception) {
-      const message = exception.getMessage();
+      return procedure.callNominally(values, (term) => {
+        let unifiesIndependently = false;
 
-      context.info(message);
-    }
+        if (term !== null) {
+          const boolean = term.isBoolean();
 
-    if (term !== null) {
-      const boolean = term.isBoolean();
+          if (!boolean) {
+            context.info(`The '${procedureCallString}' procedure call did not return a boolean.`);
+          } else {
+            const primitiveValue = term.getPrimitiveValue();
 
-      if (!boolean) {
-        context.info(`The '${procedureCallString}' procedure call did not return a boolean.`);
-      } else {
-        const primitiveValue = term.getPrimitiveValue();
+            if (primitiveValue) {
+              unifiesIndependently = true;
+            }
+          }
+        }
 
-        if (primitiveValue) {
-          unifiesIndependently = true;
+        if (unifiesIndependently) {
+          context.debug(`...unified the '${procedureCallString}' procedure call independently.`);
         }
-      }
-    }
 
-    if (unifiesIndependently) {
-      context.debug(`...unified the '${procedureCallString}' procedure call independently.`);
-    }
+        return continuation(unifiesIndependently);
+      });
+    } catch (exception) {
+      const message = exception.getMessage();
 
-    return unifiesIndependently;
-  }
+      context.info(message);
+    }
+  });
 
-  async dischargeGivenTerm(term, context) {
+  dischargeGivenTerm(term, context) {
     let dischargedGivenTerm = false;
 
     const termString = term.getString(),
@@ -146,7 +145,7 @@ export default define(class ProcedureCall extends Element {
       term = null;
 
       try {
-        term = await procedure.callNominally(values);
+        term = procedure.callNominally(values);
       } catch (exception) {
         const message = exception.getMessage();
 

package/src/element/proofAssertion/premise.js

@@ -177,9 +177,7 @@ export default define(class Premise extends ProofAssertion {
     });
   }
 
-  unifyIndependently(context) {
-    let unifiesIndependently = false;
-
+  unifyIndependently(context, continuation) {
     const premiseString = this.getString(); ///
 
     context.trace(`Unifying the '${premiseString}' premise independently...`);
@@ -191,28 +189,39 @@ export default define(class Premise extends ProofAssertion {
       if (statement !== null) {
         const premiseContext = this.getContext(), ///
               generalContext = premiseContext,  ///
-              specificContext = context,  ///
-              statementUnifiesIndependently = statement.unifyIndependently(generalContext, specificContext);
+              specificContext = context;  ///
 
-        if (statementUnifiesIndependently) {
-          unifiesIndependently = true;
-        }
+        return statement.unifyIndependently(generalContext, specificContext, (statementUnifiesIndependently) => {
+          let unifiesIndependently = false;
+
+          if (statementUnifiesIndependently) {
+            unifiesIndependently = true;
+          }
+
+          if (unifiesIndependently) {
+            context.debug(`...unified the '${premiseString}' premise independently.`);
+          }
+
+          return continuation(unifiesIndependently);
+        });
       }
 
       if (procedureCall !== null) {
-        const procedureCallResolvedIndependently = procedureCall.unifyIndependently(context);
+        return procedureCall.unifyIndependently(context, (procedureCallResolvedIndependently) => {
+          let unifiesIndependently = false;
 
-        if (procedureCallResolvedIndependently) {
-          unifiesIndependently = true;
-        }
-      }
-    }, context);
+          if (procedureCallResolvedIndependently) {
+            unifiesIndependently = true;
+          }
 
-    if (unifiesIndependently) {
-      context.debug(`...unified the '${premiseString}' premise independently.`);
-    }
+          if (unifiesIndependently) {
+            context.debug(`...unified the '${premiseString}' premise independently.`);
+          }
 
-    return unifiesIndependently;
+          return continuation(unifiesIndependently);
+        });
+      }
+    }, context);
   }
 
   unifySubproof(subproof, context, continuation) {
@@ -288,12 +297,12 @@ export default define(class Premise extends ProofAssertion {
     if (subproofOrProofAssertionProofAssertion) {
       const proofAssertion = subproofOrProofAssertion;  ///
 
-      this.unifyProofAssertion(proofAssertion, context, continuation);
-    } else {
-      const subproof = subproofOrProofAssertion;  ///
-
-      this.unifySubproof(subproof, context, continuation);
+      return this.unifyProofAssertion(proofAssertion, context, continuation);
     }
+
+    const subproof = subproofOrProofAssertion;  ///
+
+    return this.unifySubproof(subproof, context, continuation);
   }
 
   toJSON() {

package/src/element/proofAssertion/step.js

@@ -275,16 +275,16 @@ export default define(class Step extends ProofAssertion {
 
     const step = this;  ///
 
-    some(unifySteps, (unifyStep, continuation) => {
+    return some(unifySteps, (unifyStep, continuation) => {
       reconcile((context) => {
-        unifyStep(step, context, continuation);
+        return unifyStep(step, context, continuation);
       }, context);
     }, (unifies) => {
       if (unifies) {
         context.debug(`...unified the '${stepString}' step.`);
       }
 
-      continuation(unifies);
+      return continuation(unifies);
     });
   }
 

package/src/element/proofAssertion/supposition.js

@@ -288,12 +288,12 @@ export default define(class Supposition extends ProofAssertion {
     if (subproofOrProofAssertionProofAssertion) {
       const proofAssertion = subproofOrProofAssertion;  ///
 
-      this.unifyProofAssertion(proofAssertion, context, continuation);
-    } else {
-      const subproof = subproofOrProofAssertion;  ///
-
-      this.unifySubproof(subproof, context, continuation);
+      return this.unifyProofAssertion(proofAssertion, context, continuation);
     }
+
+    const subproof = subproofOrProofAssertion;  ///
+
+    return this.unifySubproof(subproof, context, continuation);
   }
 
   toJSON() {

package/src/element/rule.js

@@ -129,14 +129,14 @@ export default define(class Rule extends Element {
 
     context.trace(`Verifying the '${ruleString}' rule's labels...`);
 
-    every(this.labels, (label, continuation) => {
-      this.verifyLabel(label, context, continuation);
+    return every(this.labels, (label, continuation) => {
+      return this.verifyLabel(label, context, continuation);
     }, (labelsVerify) => {
       if (labelsVerify) {
         context.debug(`...verified the '${ruleString}' rule's labels.`);
       }
 
-      conntinuation(labelsVerify);
+      return conntinuation(labelsVerify);
     });
   }
 
@@ -168,8 +168,8 @@ export default define(class Rule extends Element {
 
     context.trace(`Verifying the '${ruleString}' rule's premises...`);
 
-    forwardsEvery(this.premises, (premise, continuation) => {
-      this.verifyPremise(premise, context, continuation);
+    return forwardsEvery(this.premises, (premise, continuation) => {
+      return this.verifyPremise(premise, context, continuation);
     }, (premisesVerify) => {
       if (premisesVerify) {
         context.debug(`...verified the '${ruleString}' rule's premises.`);
@@ -194,7 +194,7 @@ export default define(class Rule extends Element {
     });
   }
 
-  unifyStepWithConclusion = breakable(function (step, context, continuation) {
+  unifyStepWithConclusion(step, context, continuation) {
     const ruleString = this.getString(),
           stepString = step.getString(),
           conclusionString = this.conclusion.getString();
@@ -214,7 +214,7 @@ export default define(class Rule extends Element {
 
       return continuation(stepUnifiesWithConclusion);
     });
-  });
+  }
 
   unifyStepAndSubproofOrProofAssertions(step, subproofOrProofAssertions, context, continuation) {
     this.unifyStepWithConclusion(step, context, (statementUnifiesWithConclusion) => {
@@ -241,7 +241,7 @@ export default define(class Rule extends Element {
   }
 
   unifySubproofOrProofAssertionsWithPremise(subproofOrProofAssertions, premise, context, continuation) {
-    extract(subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
+    return extract(subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
       premise.unifySubproofOrProofAssertion(subproofOrProofAssertion, context, continuation);
     }, (subproofOrProofAssertion = null) => {
       if (subproofOrProofAssertion !== null) {
@@ -250,15 +250,15 @@ export default define(class Rule extends Element {
         return continuation(subproofOrProofAssertionsUnifiesWithPremise);
       }
 
-      premise.unifyIndependently(context, continuation);
+      return premise.unifyIndependently(context, continuation);
     });
   }
 
   unifySubproofOrProofAssertionsWithPremises(subproofOrProofAssertions, context, continuation) {
     subproofOrProofAssertions = reverse(subproofOrProofAssertions); ///
 
-    backwardsEvery(this.premises, (premise, continuation) => {
-      this.unifySubproofOrProofAssertionsWithPremise(subproofOrProofAssertions, premise, context, continuation);
+    return backwardsEvery(this.premises, (premise, continuation) => {
+      return this.unifySubproofOrProofAssertionsWithPremise(subproofOrProofAssertions, premise, context, continuation);
     }, continuation);
   }
 

package/src/element/subDerivation.js

@@ -35,7 +35,7 @@ export default define(class SubDerivation extends Element {
   }
 
   verify(context, continuation) {
-    every(this.subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
+    return every(this.subproofOrProofAssertions, (subproofOrProofAssertion, continuation) => {
       subproofOrProofAssertion.verify(context, (subproofOrProofAssertionVerifies) => {
         if (subproofOrProofAssertionVerifies) {
           context.assignAssignments();
@@ -43,7 +43,7 @@ export default define(class SubDerivation extends Element {
           context.addSubproofOrProofAssertion(subproofOrProofAssertion);
         }
 
-        continuation(subproofOrProofAssertionVerifies);
+        return continuation(subproofOrProofAssertionVerifies);
       });
     }, continuation);
   }