occam-verify-cli 1.0.879 → 1.0.884

package/lib/utilities/synoptic.js

@@ -44,8 +44,8 @@ const _necessary = require("necessary");
 const { compress } = _necessary.arrayUtilities;
 function compressTerms(terms) {
     compress(terms, (termA, termB)=>{
-        const termAComparesToTermB = termA.compareTerm(termB);
-        if (!termAComparesToTermB) {
+        const termAEqualToTermB = termA.isEqualTo(termB);
+        if (!termAEqualToTermB) {
             return true;
         }
     });
@@ -123,4 +123,4 @@ function compressSubstitutions(substitutions) {
     });
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3lub3B0aWMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGFycmF5VXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuXG5jb25zdCB7IGNvbXByZXNzIH0gPSBhcnJheVV0aWxpdGllcztcblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzVGVybXModGVybXMpIHtcbiAgY29tcHJlc3ModGVybXMsICh0ZXJtQSwgdGVybUIpID0+IHtcbiAgICBjb25zdCB0ZXJtQUNvbXBhcmVzVG9UZXJtQiA9IHRlcm1BLmNvbXBhcmVUZXJtKHRlcm1CKTtcblxuICAgIGlmICghdGVybUFDb21wYXJlc1RvVGVybUIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc0ZyYW1lcyhmcmFtZXMpIHtcbiAgY29tcHJlc3MoZnJhbWVzLCAoZnJhbWVBLCBmcmFtZUIpID0+IHtcbiAgICBjb25zdCBmcmFtZUFFcXVhbFRvRnJhbWVCID0gZnJhbWVBLmlzRXF1YWxUbyhmcmFtZUIpO1xuXG4gICAgaWYgKCFmcmFtZUFFcXVhbFRvRnJhbWVCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NFcXVhbGl0aWVzKGVxdWFsaXRpZXMpIHtcbiAgY29tcHJlc3MoZXF1YWxpdGllcywgKGVxdWFsaXR5QSwgZXF1YWxpdHlCKSA9PiB7XG4gICAgY29uc3QgZXF1YWxpdHlBRXF1YWxUb0VxdWFsaXR5QiA9IGVxdWFsaXR5QS5pc0VxdWFsVG8oZXF1YWxpdHlCKTtcblxuICAgIGlmICghZXF1YWxpdHlBRXF1YWxUb0VxdWFsaXR5Qikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzSnVkZ2VtZW50cyhqdWRnZW1lbnRzKSB7XG4gIGNvbXByZXNzKGp1ZGdlbWVudHMsIChqdWRnZW1lbnRBLCBqdWRnZW1lbnRCKSA9PiB7XG4gICAgY29uc3QganVkZ2VtZW50QUVxdWFsVG9KdWRnZW1lbnRCID0ganVkZ2VtZW50QS5pc0VxdWFsVG8oanVkZ2VtZW50Qik7XG5cbiAgICBpZiAoIWp1ZGdlbWVudEFFcXVhbFRvSnVkZ2VtZW50Qikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzQXNzZXJ0aW9ucyhhc3NlcnRpb25zKSB7XG4gIGNvbXByZXNzKGFzc2VydGlvbnMsIChhc3NlcnRpb25BLCBhc3NlcnRpb25CKSA9PiB7XG4gICAgY29uc3QgYXNzZXJ0aW9uQUVxdWFsVG9Bc3NlcnRpb25CID0gYXNzZXJ0aW9uQS5pc0VxdWFsVG8oYXNzZXJ0aW9uQik7XG5cbiAgICBpZiAoIWFzc2VydGlvbkFFcXVhbFRvQXNzZXJ0aW9uQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzU3RhdGVtZW50cyhzdGF0ZW1lbnRzKSB7XG4gIGNvbXByZXNzKHN0YXRlbWVudHMsIChzdGF0ZW1lbnRBLCBzdGF0ZW1lbnRCKSA9PiB7XG4gICAgY29uc3Qgc3RhdGVtZW50QUVxdWFsVG9TdGF0ZW1lbnRCID0gc3RhdGVtZW50QS5pc0VxdWFsVG8oc3RhdGVtZW50Qik7XG5cbiAgICBpZiAoIXN0YXRlbWVudEFFcXVhbFRvU3RhdGVtZW50Qikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzUmVmZXJlbmNlcyhyZWZlcmVuY2VzKSB7XG4gIGNvbXByZXNzKHJlZmVyZW5jZXMsIChyZWZlcmVuY2VBLCByZWZlcmVuY2VCKSA9PiB7XG4gICAgY29uc3QgcmVmZXJlbmNlQUVxdWFsVG9SZWZlcmVuY2VCID0gcmVmZXJlbmNlQS5pc0VxdWFsVG8ocmVmZXJlbmNlQik7XG5cbiAgICBpZiAoIXJlZmVyZW5jZUFFcXVhbFRvUmVmZXJlbmNlQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzQXNzdW1wdGlvbnMoYXNzdW1wdGlvbnMpIHtcbiAgY29tcHJlc3MoYXNzdW1wdGlvbnMsIChhc3N1bXB0aW9uQSwgYXNzdW1wdGlvbkIpID0+IHtcbiAgICBjb25zdCBhc3N1bXB0aW9uQUVxdWFsVG9Bc3N1bXB0aW9uQiA9IGFzc3VtcHRpb25BLmlzRXF1YWxUbyhhc3N1bXB0aW9uQik7XG5cbiAgICBpZiAoIWFzc3VtcHRpb25BRXF1YWxUb0Fzc3VtcHRpb25CKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NNZXRhdmFyaWFibGVzKG1ldGF2YXJpYWJsZXMpIHtcbiAgY29tcHJlc3MobWV0YXZhcmlhYmxlcywgKG1ldGF2YXJpYWJsZUEsIG1ldGF2YXJpYWJsZUIpID0+IHtcbiAgICBjb25zdCBtZXRhdmFyaWFibGVBRXF1YWxUb01ldGF2YXJpYWJsZUIgPSBtZXRhdmFyaWFibGVBLmlzRXF1YWxUbyhtZXRhdmFyaWFibGVCKTtcblxuICAgIGlmICghbWV0YXZhcmlhYmxlQUVxdWFsVG9NZXRhdmFyaWFibGVCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NTdWJzdGl0dXRpb25zKHN1YnN0aXR1dGlvbnMpIHtcbiAgY29tcHJlc3Moc3Vic3RpdHV0aW9ucywgKHN1YnN0aXR1dGlvbkEsIHN1YnN0aXR1dGlvbkIpID0+IHtcbiAgICBjb25zdCBzdWJzdGl0dXRpb25BRXF1YWxUb1N1YnN0aXR1dGlvbkIgPSBzdWJzdGl0dXRpb25BLmlzRXF1YWxUbyhzdWJzdGl0dXRpb25CKTtcblxuICAgIGlmICghc3Vic3RpdHV0aW9uQUVxdWFsVG9TdWJzdGl0dXRpb25CKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufSJdLCJuYW1lcyI6WyJjb21wcmVzc0Fzc2VydGlvbnMiLCJjb21wcmVzc0Fzc3VtcHRpb25zIiwiY29tcHJlc3NFcXVhbGl0aWVzIiwiY29tcHJlc3NGcmFtZXMiLCJjb21wcmVzc0p1ZGdlbWVudHMiLCJjb21wcmVzc01ldGF2YXJpYWJsZXMiLCJjb21wcmVzc1JlZmVyZW5jZXMiLCJjb21wcmVzc1N0YXRlbWVudHMiLCJjb21wcmVzc1N1YnN0aXR1dGlvbnMiLCJjb21wcmVzc1Rlcm1zIiwiY29tcHJlc3MiLCJhcnJheVV0aWxpdGllcyIsInRlcm1zIiwidGVybUEiLCJ0ZXJtQiIsInRlcm1BQ29tcGFyZXNUb1Rlcm1CIiwiY29tcGFyZVRlcm0iLCJmcmFtZXMiLCJmcmFtZUEiLCJmcmFtZUIiLCJmcmFtZUFFcXVhbFRvRnJhbWVCIiwiaXNFcXVhbFRvIiwiZXF1YWxpdGllcyIsImVxdWFsaXR5QSIsImVxdWFsaXR5QiIsImVxdWFsaXR5QUVxdWFsVG9FcXVhbGl0eUIiLCJqdWRnZW1lbnRzIiwianVkZ2VtZW50QSIsImp1ZGdlbWVudEIiLCJqdWRnZW1lbnRBRXF1YWxUb0p1ZGdlbWVudEIiLCJhc3NlcnRpb25zIiwiYXNzZXJ0aW9uQSIsImFzc2VydGlvbkIiLCJhc3NlcnRpb25BRXF1YWxUb0Fzc2VydGlvbkIiLCJzdGF0ZW1lbnRzIiwic3RhdGVtZW50QSIsInN0YXRlbWVudEIiLCJzdGF0ZW1lbnRBRXF1YWxUb1N0YXRlbWVudEIiLCJyZWZlcmVuY2VzIiwicmVmZXJlbmNlQSIsInJlZmVyZW5jZUIiLCJyZWZlcmVuY2VBRXF1YWxUb1JlZmVyZW5jZUIiLCJhc3N1bXB0aW9ucyIsImFzc3VtcHRpb25BIiwiYXNzdW1wdGlvbkIiLCJhc3N1bXB0aW9uQUVxdWFsVG9Bc3N1bXB0aW9uQiIsIm1ldGF2YXJpYWJsZXMiLCJtZXRhdmFyaWFibGVBIiwibWV0YXZhcmlhYmxlQiIsIm1ldGF2YXJpYWJsZUFFcXVhbFRvTWV0YXZhcmlhYmxlQiIsInN1YnN0aXR1dGlvbnMiLCJzdWJzdGl0dXRpb25BIiwic3Vic3RpdHV0aW9uQiIsInN1YnN0aXR1dGlvbkFFcXVhbFRvU3Vic3RpdHV0aW9uQiJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBOENnQkE7ZUFBQUE7O1FBOEJBQztlQUFBQTs7UUFsREFDO2VBQUFBOztRQVZBQztlQUFBQTs7UUFvQkFDO2VBQUFBOztRQWtEQUM7ZUFBQUE7O1FBcEJBQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBd0NBQztlQUFBQTs7UUExRkFDO2VBQUFBOzs7MkJBSmU7QUFFL0IsTUFBTSxFQUFFQyxRQUFRLEVBQUUsR0FBR0MseUJBQWM7QUFFNUIsU0FBU0YsY0FBY0csS0FBSztJQUNqQ0YsU0FBU0UsT0FBTyxDQUFDQyxPQUFPQztRQUN0QixNQUFNQyx1QkFBdUJGLE1BQU1HLFdBQVcsQ0FBQ0Y7UUFFL0MsSUFBSSxDQUFDQyxzQkFBc0I7WUFDekIsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVNaLGVBQWVjLE1BQU07SUFDbkNQLFNBQVNPLFFBQVEsQ0FBQ0MsUUFBUUM7UUFDeEIsTUFBTUMsc0JBQXNCRixPQUFPRyxTQUFTLENBQUNGO1FBRTdDLElBQUksQ0FBQ0MscUJBQXFCO1lBQ3hCLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTbEIsbUJBQW1Cb0IsVUFBVTtJQUMzQ1osU0FBU1ksWUFBWSxDQUFDQyxXQUFXQztRQUMvQixNQUFNQyw0QkFBNEJGLFVBQVVGLFNBQVMsQ0FBQ0c7UUFFdEQsSUFBSSxDQUFDQywyQkFBMkI7WUFDOUIsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVNyQixtQkFBbUJzQixVQUFVO0lBQzNDaEIsU0FBU2dCLFlBQVksQ0FBQ0MsWUFBWUM7UUFDaEMsTUFBTUMsOEJBQThCRixXQUFXTixTQUFTLENBQUNPO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTN0IsbUJBQW1COEIsVUFBVTtJQUMzQ3BCLFNBQVNvQixZQUFZLENBQUNDLFlBQVlDO1FBQ2hDLE1BQU1DLDhCQUE4QkYsV0FBV1YsU0FBUyxDQUFDVztRQUV6RCxJQUFJLENBQUNDLDZCQUE2QjtZQUNoQyxPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBUzFCLG1CQUFtQjJCLFVBQVU7SUFDM0N4QixTQUFTd0IsWUFBWSxDQUFDQyxZQUFZQztRQUNoQyxNQUFNQyw4QkFBOEJGLFdBQVdkLFNBQVMsQ0FBQ2U7UUFFekQsSUFBSSxDQUFDQyw2QkFBNkI7WUFDaEMsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVMvQixtQkFBbUJnQyxVQUFVO0lBQzNDNUIsU0FBUzRCLFlBQVksQ0FBQ0MsWUFBWUM7UUFDaEMsTUFBTUMsOEJBQThCRixXQUFXbEIsU0FBUyxDQUFDbUI7UUFFekQsSUFBSSxDQUFDQyw2QkFBNkI7WUFDaEMsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVN4QyxvQkFBb0J5QyxXQUFXO0lBQzdDaEMsU0FBU2dDLGFBQWEsQ0FBQ0MsYUFBYUM7UUFDbEMsTUFBTUMsZ0NBQWdDRixZQUFZdEIsU0FBUyxDQUFDdUI7UUFFNUQsSUFBSSxDQUFDQywrQkFBK0I7WUFDbEMsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVN4QyxzQkFBc0J5QyxhQUFhO0lBQ2pEcEMsU0FBU29DLGVBQWUsQ0FBQ0MsZUFBZUM7UUFDdEMsTUFBTUMsb0NBQW9DRixjQUFjMUIsU0FBUyxDQUFDMkI7UUFFbEUsSUFBSSxDQUFDQyxtQ0FBbUM7WUFDdEMsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVN6QyxzQkFBc0IwQyxhQUFhO0lBQ2pEeEMsU0FBU3dDLGVBQWUsQ0FBQ0MsZUFBZUM7UUFDdEMsTUFBTUMsb0NBQW9DRixjQUFjOUIsU0FBUyxDQUFDK0I7UUFFbEUsSUFBSSxDQUFDQyxtQ0FBbUM7WUFDdEMsT0FBTztRQUNUO0lBQ0Y7QUFDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3lub3B0aWMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGFycmF5VXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuXG5jb25zdCB7IGNvbXByZXNzIH0gPSBhcnJheVV0aWxpdGllcztcblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzVGVybXModGVybXMpIHtcbiAgY29tcHJlc3ModGVybXMsICh0ZXJtQSwgdGVybUIpID0+IHtcbiAgICBjb25zdCB0ZXJtQUVxdWFsVG9UZXJtQiA9IHRlcm1BLmlzRXF1YWxUbyh0ZXJtQik7XG5cbiAgICBpZiAoIXRlcm1BRXF1YWxUb1Rlcm1CKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NGcmFtZXMoZnJhbWVzKSB7XG4gIGNvbXByZXNzKGZyYW1lcywgKGZyYW1lQSwgZnJhbWVCKSA9PiB7XG4gICAgY29uc3QgZnJhbWVBRXF1YWxUb0ZyYW1lQiA9IGZyYW1lQS5pc0VxdWFsVG8oZnJhbWVCKTtcblxuICAgIGlmICghZnJhbWVBRXF1YWxUb0ZyYW1lQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzRXF1YWxpdGllcyhlcXVhbGl0aWVzKSB7XG4gIGNvbXByZXNzKGVxdWFsaXRpZXMsIChlcXVhbGl0eUEsIGVxdWFsaXR5QikgPT4ge1xuICAgIGNvbnN0IGVxdWFsaXR5QUVxdWFsVG9FcXVhbGl0eUIgPSBlcXVhbGl0eUEuaXNFcXVhbFRvKGVxdWFsaXR5Qik7XG5cbiAgICBpZiAoIWVxdWFsaXR5QUVxdWFsVG9FcXVhbGl0eUIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc0p1ZGdlbWVudHMoanVkZ2VtZW50cykge1xuICBjb21wcmVzcyhqdWRnZW1lbnRzLCAoanVkZ2VtZW50QSwganVkZ2VtZW50QikgPT4ge1xuICAgIGNvbnN0IGp1ZGdlbWVudEFFcXVhbFRvSnVkZ2VtZW50QiA9IGp1ZGdlbWVudEEuaXNFcXVhbFRvKGp1ZGdlbWVudEIpO1xuXG4gICAgaWYgKCFqdWRnZW1lbnRBRXF1YWxUb0p1ZGdlbWVudEIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc0Fzc2VydGlvbnMoYXNzZXJ0aW9ucykge1xuICBjb21wcmVzcyhhc3NlcnRpb25zLCAoYXNzZXJ0aW9uQSwgYXNzZXJ0aW9uQikgPT4ge1xuICAgIGNvbnN0IGFzc2VydGlvbkFFcXVhbFRvQXNzZXJ0aW9uQiA9IGFzc2VydGlvbkEuaXNFcXVhbFRvKGFzc2VydGlvbkIpO1xuXG4gICAgaWYgKCFhc3NlcnRpb25BRXF1YWxUb0Fzc2VydGlvbkIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc1N0YXRlbWVudHMoc3RhdGVtZW50cykge1xuICBjb21wcmVzcyhzdGF0ZW1lbnRzLCAoc3RhdGVtZW50QSwgc3RhdGVtZW50QikgPT4ge1xuICAgIGNvbnN0IHN0YXRlbWVudEFFcXVhbFRvU3RhdGVtZW50QiA9IHN0YXRlbWVudEEuaXNFcXVhbFRvKHN0YXRlbWVudEIpO1xuXG4gICAgaWYgKCFzdGF0ZW1lbnRBRXF1YWxUb1N0YXRlbWVudEIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc1JlZmVyZW5jZXMocmVmZXJlbmNlcykge1xuICBjb21wcmVzcyhyZWZlcmVuY2VzLCAocmVmZXJlbmNlQSwgcmVmZXJlbmNlQikgPT4ge1xuICAgIGNvbnN0IHJlZmVyZW5jZUFFcXVhbFRvUmVmZXJlbmNlQiA9IHJlZmVyZW5jZUEuaXNFcXVhbFRvKHJlZmVyZW5jZUIpO1xuXG4gICAgaWYgKCFyZWZlcmVuY2VBRXF1YWxUb1JlZmVyZW5jZUIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc0Fzc3VtcHRpb25zKGFzc3VtcHRpb25zKSB7XG4gIGNvbXByZXNzKGFzc3VtcHRpb25zLCAoYXNzdW1wdGlvbkEsIGFzc3VtcHRpb25CKSA9PiB7XG4gICAgY29uc3QgYXNzdW1wdGlvbkFFcXVhbFRvQXNzdW1wdGlvbkIgPSBhc3N1bXB0aW9uQS5pc0VxdWFsVG8oYXNzdW1wdGlvbkIpO1xuXG4gICAgaWYgKCFhc3N1bXB0aW9uQUVxdWFsVG9Bc3N1bXB0aW9uQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzTWV0YXZhcmlhYmxlcyhtZXRhdmFyaWFibGVzKSB7XG4gIGNvbXByZXNzKG1ldGF2YXJpYWJsZXMsIChtZXRhdmFyaWFibGVBLCBtZXRhdmFyaWFibGVCKSA9PiB7XG4gICAgY29uc3QgbWV0YXZhcmlhYmxlQUVxdWFsVG9NZXRhdmFyaWFibGVCID0gbWV0YXZhcmlhYmxlQS5pc0VxdWFsVG8obWV0YXZhcmlhYmxlQik7XG5cbiAgICBpZiAoIW1ldGF2YXJpYWJsZUFFcXVhbFRvTWV0YXZhcmlhYmxlQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzU3Vic3RpdHV0aW9ucyhzdWJzdGl0dXRpb25zKSB7XG4gIGNvbXByZXNzKHN1YnN0aXR1dGlvbnMsIChzdWJzdGl0dXRpb25BLCBzdWJzdGl0dXRpb25CKSA9PiB7XG4gICAgY29uc3Qgc3Vic3RpdHV0aW9uQUVxdWFsVG9TdWJzdGl0dXRpb25CID0gc3Vic3RpdHV0aW9uQS5pc0VxdWFsVG8oc3Vic3RpdHV0aW9uQik7XG5cbiAgICBpZiAoIXN1YnN0aXR1dGlvbkFFcXVhbFRvU3Vic3RpdHV0aW9uQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn0iXSwibmFtZXMiOlsiY29tcHJlc3NBc3NlcnRpb25zIiwiY29tcHJlc3NBc3N1bXB0aW9ucyIsImNvbXByZXNzRXF1YWxpdGllcyIsImNvbXByZXNzRnJhbWVzIiwiY29tcHJlc3NKdWRnZW1lbnRzIiwiY29tcHJlc3NNZXRhdmFyaWFibGVzIiwiY29tcHJlc3NSZWZlcmVuY2VzIiwiY29tcHJlc3NTdGF0ZW1lbnRzIiwiY29tcHJlc3NTdWJzdGl0dXRpb25zIiwiY29tcHJlc3NUZXJtcyIsImNvbXByZXNzIiwiYXJyYXlVdGlsaXRpZXMiLCJ0ZXJtcyIsInRlcm1BIiwidGVybUIiLCJ0ZXJtQUVxdWFsVG9UZXJtQiIsImlzRXF1YWxUbyIsImZyYW1lcyIsImZyYW1lQSIsImZyYW1lQiIsImZyYW1lQUVxdWFsVG9GcmFtZUIiLCJlcXVhbGl0aWVzIiwiZXF1YWxpdHlBIiwiZXF1YWxpdHlCIiwiZXF1YWxpdHlBRXF1YWxUb0VxdWFsaXR5QiIsImp1ZGdlbWVudHMiLCJqdWRnZW1lbnRBIiwianVkZ2VtZW50QiIsImp1ZGdlbWVudEFFcXVhbFRvSnVkZ2VtZW50QiIsImFzc2VydGlvbnMiLCJhc3NlcnRpb25BIiwiYXNzZXJ0aW9uQiIsImFzc2VydGlvbkFFcXVhbFRvQXNzZXJ0aW9uQiIsInN0YXRlbWVudHMiLCJzdGF0ZW1lbnRBIiwic3RhdGVtZW50QiIsInN0YXRlbWVudEFFcXVhbFRvU3RhdGVtZW50QiIsInJlZmVyZW5jZXMiLCJyZWZlcmVuY2VBIiwicmVmZXJlbmNlQiIsInJlZmVyZW5jZUFFcXVhbFRvUmVmZXJlbmNlQiIsImFzc3VtcHRpb25zIiwiYXNzdW1wdGlvbkEiLCJhc3N1bXB0aW9uQiIsImFzc3VtcHRpb25BRXF1YWxUb0Fzc3VtcHRpb25CIiwibWV0YXZhcmlhYmxlcyIsIm1ldGF2YXJpYWJsZUEiLCJtZXRhdmFyaWFibGVCIiwibWV0YXZhcmlhYmxlQUVxdWFsVG9NZXRhdmFyaWFibGVCIiwic3Vic3RpdHV0aW9ucyIsInN1YnN0aXR1dGlvbkEiLCJzdWJzdGl0dXRpb25CIiwic3Vic3RpdHV0aW9uQUVxdWFsVG9TdWJzdGl0dXRpb25CIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUE4Q2dCQTtlQUFBQTs7UUE4QkFDO2VBQUFBOztRQWxEQUM7ZUFBQUE7O1FBVkFDO2VBQUFBOztRQW9CQUM7ZUFBQUE7O1FBa0RBQztlQUFBQTs7UUFwQkFDO2VBQUFBOztRQVZBQztlQUFBQTs7UUF3Q0FDO2VBQUFBOztRQTFGQUM7ZUFBQUE7OzsyQkFKZTtBQUUvQixNQUFNLEVBQUVDLFFBQVEsRUFBRSxHQUFHQyx5QkFBYztBQUU1QixTQUFTRixjQUFjRyxLQUFLO0lBQ2pDRixTQUFTRSxPQUFPLENBQUNDLE9BQU9DO1FBQ3RCLE1BQU1DLG9CQUFvQkYsTUFBTUcsU0FBUyxDQUFDRjtRQUUxQyxJQUFJLENBQUNDLG1CQUFtQjtZQUN0QixPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU1osZUFBZWMsTUFBTTtJQUNuQ1AsU0FBU08sUUFBUSxDQUFDQyxRQUFRQztRQUN4QixNQUFNQyxzQkFBc0JGLE9BQU9GLFNBQVMsQ0FBQ0c7UUFFN0MsSUFBSSxDQUFDQyxxQkFBcUI7WUFDeEIsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVNsQixtQkFBbUJtQixVQUFVO0lBQzNDWCxTQUFTVyxZQUFZLENBQUNDLFdBQVdDO1FBQy9CLE1BQU1DLDRCQUE0QkYsVUFBVU4sU0FBUyxDQUFDTztRQUV0RCxJQUFJLENBQUNDLDJCQUEyQjtZQUM5QixPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU3BCLG1CQUFtQnFCLFVBQVU7SUFDM0NmLFNBQVNlLFlBQVksQ0FBQ0MsWUFBWUM7UUFDaEMsTUFBTUMsOEJBQThCRixXQUFXVixTQUFTLENBQUNXO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTNUIsbUJBQW1CNkIsVUFBVTtJQUMzQ25CLFNBQVNtQixZQUFZLENBQUNDLFlBQVlDO1FBQ2hDLE1BQU1DLDhCQUE4QkYsV0FBV2QsU0FBUyxDQUFDZTtRQUV6RCxJQUFJLENBQUNDLDZCQUE2QjtZQUNoQyxPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU3pCLG1CQUFtQjBCLFVBQVU7SUFDM0N2QixTQUFTdUIsWUFBWSxDQUFDQyxZQUFZQztRQUNoQyxNQUFNQyw4QkFBOEJGLFdBQVdsQixTQUFTLENBQUNtQjtRQUV6RCxJQUFJLENBQUNDLDZCQUE2QjtZQUNoQyxPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBUzlCLG1CQUFtQitCLFVBQVU7SUFDM0MzQixTQUFTMkIsWUFBWSxDQUFDQyxZQUFZQztRQUNoQyxNQUFNQyw4QkFBOEJGLFdBQVd0QixTQUFTLENBQUN1QjtRQUV6RCxJQUFJLENBQUNDLDZCQUE2QjtZQUNoQyxPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU3ZDLG9CQUFvQndDLFdBQVc7SUFDN0MvQixTQUFTK0IsYUFBYSxDQUFDQyxhQUFhQztRQUNsQyxNQUFNQyxnQ0FBZ0NGLFlBQVkxQixTQUFTLENBQUMyQjtRQUU1RCxJQUFJLENBQUNDLCtCQUErQjtZQUNsQyxPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU3ZDLHNCQUFzQndDLGFBQWE7SUFDakRuQyxTQUFTbUMsZUFBZSxDQUFDQyxlQUFlQztRQUN0QyxNQUFNQyxvQ0FBb0NGLGNBQWM5QixTQUFTLENBQUMrQjtRQUVsRSxJQUFJLENBQUNDLG1DQUFtQztZQUN0QyxPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU3hDLHNCQUFzQnlDLGFBQWE7SUFDakR2QyxTQUFTdUMsZUFBZSxDQUFDQyxlQUFlQztRQUN0QyxNQUFNQyxvQ0FBb0NGLGNBQWNsQyxTQUFTLENBQUNtQztRQUVsRSxJQUFJLENBQUNDLG1DQUFtQztZQUN0QyxPQUFPO1FBQ1Q7SUFDRjtBQUNGIn0=

package/package.json

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

package/src/context/branching.js

@@ -32,9 +32,9 @@ export default class BranchingContext extends Context {
 
     const termB = this.terms.find((term) => {
       const termB = term, ///
-            termAComparesToTermB = termA.compareTerm(termB);
+            termAEqualToTermB = termA.isEqualTo(termB);
 
-      if (termAComparesToTermB) {
+      if (termAEqualToTermB) {
         return true;
       }
     }) || null;

package/src/context/synoptic.js

@@ -128,14 +128,6 @@ export default class SynopticContext extends Context {
     return substitutions;
   }
 
-  getDerivedSubstitutions(derivedSubstitutions = []) {
-    this.contexts.forEach((context) => {
-      context.getDerivedSubstitutions(derivedSubstitutions);
-    });
-
-    return derivedSubstitutions;
-  }
-
   findTermByTermNode(termNode) {
     const terms = this.getTerms(),
           term = terms.find((term) => {

package/src/element/assumption/metaLevel.js

@@ -267,7 +267,7 @@ export default define(class MetaLevelAssumption extends Element {
 
     context.trace(`Unifying the '${statementString}' statement with the '${metaLevelAssumptionString}' meta-level assumption's statement...`);
 
-    const generalStatement = stripBracketsFromStatement(this.statement, context), ///
+    const generalStatement = this.statement,  ///
           specificStatement = stripBracketsFromStatement(statement, context);  ///
 
     statementUnifies = unifyStatement(generalStatement, specificStatement, generalContext, specificContext);
@@ -318,11 +318,17 @@ export default define(class MetaLevelAssumption extends Element {
   static fromStep(step, context) {
     let metaLevelAssumption;
 
+    let statement;
+
+    statement = step.getStatement();
+
+    statement = stripBracketsFromStatement(statement, context); ///
+
+    const reference = step.getReference();
+
     ablate((context) => {
       instantiate((context) => {
-        const reference = step.getReference(),
-              statement = step.getStatement(),
-              metaLevelAssumptionString = metaLevelAssumptionStringFromReferenceAndStatement(reference, statement),
+        const metaLevelAssumptionString = metaLevelAssumptionStringFromReferenceAndStatement(reference, statement),
               string = metaLevelAssumptionString,  ///
               metaLevelAssumptionNode = instantiateMetaLevelAssumption(string, context);
 

package/src/element/equivalence.js

@@ -160,9 +160,9 @@ export default define(class Equivalence extends Element {
     const termA = term, ///
           comparesToTerm = this.someTerm((term) => {
             const termB = term, ///
-                  termAComparesToTermB = termA.compareTerm(termB);
+                  termAEqualToTermB = termA.isEqualTo(termB);
 
-            if (termAComparesToTermB) {
+            if (termAEqualToTermB) {
               return true;
             }
           });
@@ -174,9 +174,9 @@ export default define(class Equivalence extends Element {
     const termA = term, ///
           terms = this.terms.filter((term) => {
             const termB = term, ///
-                  termAComparesToTermB = termA.compareTerm(termB);
+                  termAEqualToTermB = termA.isEqualTo(termB);
 
-            if (!termAComparesToTermB) {
+            if (!termAEqualToTermB) {
               return true;
             }
           }),
@@ -192,9 +192,9 @@ export default define(class Equivalence extends Element {
     ];
 
     compress(combinedTerms, (combinedTermA, combinedTermB) => {
-      const combinedTermAComparesToCombinedTermB = combinedTermA.compareTerm(combinedTermB);
+      const combinedTermEqualToToCombinedTermB = combinedTermA.isEqualTo(combinedTermB);
 
-      if (!combinedTermAComparesToCombinedTermB) {
+      if (!combinedTermEqualToToCombinedTermB) {
         return true;
       }
     });

package/src/element/signature.js

@@ -169,9 +169,9 @@ export default define(class Signature extends Element {
     const array = substitutions.getArray(),
           compares = compare(this.terms, array, (term, substitution) => {
             const substitutionTerm = substitution.getTerm(),
-                  substitutionTermComparesToTerm = substitutionTerm.compareTerm(term);
+                  substitutionTermEqualToTerm = substitutionTerm.isEqualTo(term);
 
-            if (substitutionTermComparesToTerm) {
+            if (substitutionTermEqualToTerm) {
               return true;
             }
           });
@@ -198,9 +198,9 @@ export default define(class Signature extends Element {
     const array = substitutions.getArray(),
           correlates = correlate(this.terms, array, (term, substitution) => {
             const substitutionTerm = substitution.getTerm(),
-                  substitutionTermComparesToTerm = substitutionTerm.compareTerm(term);
+                  substitutionTermEqualToTerm = substitutionTerm.isEqualTo(term);
 
-            if (substitutionTermComparesToTerm) {
+            if (substitutionTermEqualToTerm) {
               return true;
             }
           });

package/src/element/statement.js

@@ -7,6 +7,7 @@ import { unifyStatement } from "../process/unify";
 import { validateStatements } from "../utilities/validation";
 import { instantiateStatement } from "../process/instantiate";
 import { reconcile, instantiate } from "../utilities/context";
+import {getEntryStats} from "necessary/lib/utilities/fileSystem";
 
 export default define(class Statement extends Element {
   getStatementNode() {
@@ -244,19 +245,16 @@ export default define(class Statement extends Element {
     return subproofUnifies;
   }
 
-  unifyDeduction(deduction, context) {
+  unifyDeduction(deduction, generalContext, specificContext) {
     let deductionUnifies = false;
 
-    const statementString = this.getString(),  ///
+    const context = generalContext, ///
+          statementString = this.getString(),  ///
           deductionString = deduction.getString(),
-          deductionContext = deduction.getContext(),
           deductionStatement = deduction.getStatement();
 
     context.trace(`Unifying the '${deductionString}' deduction with the '${statementString}' statement...`);
 
-    const generalContext = context, ///
-          specificContext = deductionContext;  ///
-
     reconcile((specificContext) => {
       const deductionStatementUnifies = this.unifyStatement(deductionStatement, generalContext, specificContext);
 
@@ -345,7 +343,15 @@ export default define(class Statement extends Element {
 
     if (unconditional) {
       const deduction = topLevelMetaAssertion.getDeduction(),
-            deductionUnifies = this.unifyDeduction(deduction, context);
+            generalContext = context; ///
+
+      context = deduction.getContext();
+
+      const specificContext = context;  ///
+
+      context = generalContext; ///
+
+      const deductionUnifies = this.unifyDeduction(deduction, generalContext, specificContext);
 
       if (deductionUnifies) {
         topLevelAssertionUnifies = true;

package/src/element/substitution/term.js

@@ -49,8 +49,8 @@ export default define(class TermSubstitution extends Substitution {
   getVariableNode() { return this.targetTerm.getVariableNode(); }
 
   isTrivial() {
-    const targetTermComparesToReplacementTerm = this.targetTerm.compareTerm(this.replacementTerm),
-          trivial = targetTermComparesToReplacementTerm; ///
+    const targetTermEqualToReplacementTerm = this.targetTerm.isEqualTo(this.replacementTerm),
+          trivial = targetTermEqualToReplacementTerm; ///
 
     return trivial;
   }
@@ -60,8 +60,8 @@ export default define(class TermSubstitution extends Substitution {
   compareTerm(term, context) {
     term = stripBracketsFromTerm(term, context); ///
 
-    const replacementTermComparesToTerm = this.replacementTerm.compareTerm(term),
-          comparedToTerm = replacementTermComparesToTerm; ///
+    const replacementTermEqualToTerm = this.replacementTerm.isEqualTo(term),
+          comparedToTerm = replacementTermEqualToTerm; ///
 
     return comparedToTerm;
   }

package/src/element/term.js

@@ -48,6 +48,14 @@ export default define(class Term extends Element {
     return variableIdentifier;
   }
 
+  isEqualTo(term) {
+    const termNode = term.getNode(),
+          termNodeMatches = this.matchTermNode(termNode),
+          equalTo = termNodeMatches;  ///
+
+    return equalTo;
+  }
+
   isGrounded(definedVariables, context) {
     const term  = this, ///
           variables = variablesFromTerm(term, context);

package/src/process/assign.js

@@ -1,12 +1,10 @@
 "use strict";
 
-import { variableFromVariableNode } from "../utilities/element";
+import { variableAssignmentFromTermAndType } from "../utilities/assignment";
 
 export function equalityAssignmentFromEquality(equality, context) {
   const equalityAssignment = (context) => {
-    const equalityAdded = context.addEquality(equality);
-
-    return equalityAdded;
+    context.addEquality(equality);
   };
 
   return equalityAssignment;
@@ -14,10 +12,9 @@ export function equalityAssignmentFromEquality(equality, context) {
 
 export function judgementAssignmentFromJudgement(judgement, context) {
   const judgementAssignment = (context) => {
-    const declaredJudgement = judgement,  ///
-          declaredJudgementAdded = context.addDeclaredJudgement(declaredJudgement);
+    const declaredJudgement = judgement;  ///
 
-    return declaredJudgementAdded;
+    context.addDeclaredJudgement(declaredJudgement);
   };
 
   return judgementAssignment;
@@ -40,18 +37,9 @@ export function rightVariableAssignmentFromEquality(equality, context) {
 }
 
 export function variableAssignmentFromTypeAssertion(typeAssertion, context) {
-  let variableAssignment = (context) => {
-    ///
-  };
-
   const term = typeAssertion.getTerm(),
-        termSingular = term.isSingular();
-
-  if (termSingular) {
-    const type = typeAssertion.getType();
-
-    variableAssignment = variableAssignmentFromTermAndType(term, type, context);
-  }
+        type = typeAssertion.getType(),
+        variableAssignment = variableAssignmentFromTermAndType(term, type, context);
 
   return variableAssignment;
 }
@@ -77,41 +65,3 @@ export function variableAssignmentFromPrepertyAssertion(propertyAssertion, conte
   //   const variableAssignment = variableAssignmentFromVariable(variable),
 
   }
-
-function variableAssignmentFromTermAndType(term, type, context) {
-  let variableAssignment = (context) => {
-    ///
-  };
-
-  const termSingular = term.isSingular();
-
-  if (termSingular) {
-    const termType = term.getType(),
-          termTypeEqualToType = termType.isEqualTo(type);
-
-    if (!termTypeEqualToType) {
-      const variableNode = term.getVariableNode(),
-            variable = variableFromVariableNode(variableNode, context);
-
-      variable.setType(type);
-
-      variableAssignment = (context) => {
-        const declaredVariable = variable;  ///
-
-        context.addDeclaredVariable(declaredVariable);
-
-        const declaredVariableTypeString = declaredVariable.getTypeString(),
-              declaredVariableString = declaredVariable.getString(),
-              assigned = true;  ///
-
-        assigned ?
-          context.trace(`Assigned the '${declaredVariableString}' declared variable with type '${declaredVariableTypeString}'.`) :
-             context.debug(`Unable to assign the '${declaredVariableString}' declared variable with type '${declaredVariableTypeString}'.`);
-
-        return assigned;
-      };
-    }
-  }
-
-  return variableAssignment;
-}

package/src/utilities/assignment.js

@@ -0,0 +1,31 @@
+"use strict";
+
+import { variableFromVariableNode } from "../utilities/element";
+
+export function variableAssignmentFromTermAndType(term, type, context) {
+  let variableAssignment = (context) => {
+    ///
+  };
+
+  const termSingular = term.isSingular();
+
+  if (termSingular) {
+    const termType = term.getType(),
+          termTypeEqualToType = termType.isEqualTo(type);
+
+    if (!termTypeEqualToType) {
+      const variableNode = term.getVariableNode(),
+            variable = variableFromVariableNode(variableNode, context);
+
+      variable.setType(type);
+
+      variableAssignment = (context) => {
+        const declaredVariable = variable;  ///
+
+        context.addDeclaredVariable(declaredVariable);
+      };
+    }
+  }
+
+  return variableAssignment;
+}

package/src/utilities/equivalences.js

@@ -22,9 +22,9 @@ export function mergeEquivalences(equivalencesA, equivalencesB, context) {
 
 export function findEquivalenceByTerm(equivalences, term) {
   const equivalence = equivalences.find((equivalence) => {
-    const equivalenceComparesToTerm = equivalence.compareTerm(term);
+    const equivalenceEqualToTerm = equivalence.isEqualTo(term);
 
-    if (equivalenceComparesToTerm) {
+    if (equivalenceEqualToTerm) {
       return true;
     }
   }) || null;

package/src/utilities/synoptic.js

@@ -6,9 +6,9 @@ const { compress } = arrayUtilities;
 
 export function compressTerms(terms) {
   compress(terms, (termA, termB) => {
-    const termAComparesToTermB = termA.compareTerm(termB);
+    const termAEqualToTermB = termA.isEqualTo(termB);
 
-    if (!termAComparesToTermB) {
+    if (!termAEqualToTermB) {
       return true;
     }
   });