Add start-up messaged (no way around them currently)

Author: geo2a

booster/test/rpc-integration/test-log-simplify-json/simplify-log.txt.golden

@@ -1,3 +1,10 @@
+{"entry":"LogMessage","origin":"kore-rpc"}
+{"entry":"LogMessage","origin":"kore-rpc"}
+{"entry":"LogMessage","origin":"kore-rpc"}
+{"entry":"LogMessage","origin":"kore-rpc"}
+{"entry":"LogMessage","origin":"kore-rpc"}
+{"entry":"LogMessage","origin":"kore-rpc"}
+{"entry":"LogMessage","origin":"kore-rpc"}
 {"tag":"simplification","result":{"tag":"failure","reason":"RuleNotPreservingDefinedness","rule-id":"d0c635862a74b433473f8d45be9da2608b68fbdcf820aff3a421795196e6070b"},"origin":"booster"}
 {"tag":"simplification","result":{"tag":"success","rule-id":"f310443b160236f56d095576a7500c11d1e98ee7af349b0bbf7a34b5e444d300"},"origin":"booster"}
 {"tag":"simplification","result":{"tag":"failure","reason":"RuleNotPreservingDefinedness","rule-id":"3b51b2998e8ebe79b88550ea9d27ca95003744019b16b93d17a55f6f9bcaa12a"},"origin":"booster"}
@@ -459,21 +466,21 @@
 {"tag":"simplification","result":{"tag":"failure","reason":"IndeterminateMatch","rule-id":"61fbef33b3611f1cc2aaf3b5e8ddec4a0f434c557278c38461c65c8722743497"},"origin":"booster"}
 {"tag":"simplification","result":{"tag":"failure","reason":"IndeterminateMatch","rule-id":"b66705a08da7a12e8140e4de1b5888f6b332b39ec36e54a4441ab1a16def501b"},"origin":"booster"}
 {"origin":"kore-rpc","rule-id":"3b51b2998e8ebe79b88550ea9d27ca95003744019b16b93d17a55f6f9bcaa12a","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'IS'Unds'SCRIPT'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"3b51b2998e8ebe79b88550ea9d27ca95003744019b16b93d17a55f6f9bcaa12a","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'IS'Unds'SCRIPT'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"3b51b2998e8ebe79b88550ea9d27ca95003744019b16b93d17a55f6f9bcaa12a","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"ebe750ca93029ca8165efd8dda2aae9b2393ed91674c1c30d46b9b1b199ba8ca","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'IS'Unds'TEST'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"ebe750ca93029ca8165efd8dda2aae9b2393ed91674c1c30d46b9b1b199ba8ca","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'IS'Unds'TEST'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"ebe750ca93029ca8165efd8dda2aae9b2393ed91674c1c30d46b9b1b199ba8ca","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"00711c58d3e4646d6d9fb30a309dcc50d6f87dc012f3f38db9b7f5642108de13","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'failed'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"00711c58d3e4646d6d9fb30a309dcc50d6f87dc012f3f38db9b7f5642108de13","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'failed'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"00711c58d3e4646d6d9fb30a309dcc50d6f87dc012f3f38db9b7f5642108de13","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"aaabdf5938faf5f169799e1613edff322b25b93cbd412e52700daff652e5478e","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'GetNonce'Unds'false'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"aaabdf5938faf5f169799e1613edff322b25b93cbd412e52700daff652e5478e","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'GetNonce'Unds'false'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"aaabdf5938faf5f169799e1613edff322b25b93cbd412e52700daff652e5478e","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"9929356ba968eacef38f002ccea69d452f6312b96ee774c1aff5d393ab7a8ff2","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'GetNonce'Unds'true'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"9929356ba968eacef38f002ccea69d452f6312b96ee774c1aff5d393ab7a8ff2","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'GetNonce'Unds'true'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"9929356ba968eacef38f002ccea69d452f6312b96ee774c1aff5d393ab7a8ff2","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"e66aae4eadeb1acf4c9789b6291e27a43e9dfbed8be898e4fbee828a1c5709d0","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'Nonce'Unds'ExistentAddress'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"e66aae4eadeb1acf4c9789b6291e27a43e9dfbed8be898e4fbee828a1c5709d0","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'Nonce'Unds'ExistentAddress'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"e66aae4eadeb1acf4c9789b6291e27a43e9dfbed8be898e4fbee828a1c5709d0","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"9f2e4d13e840df3ec4a403b5305d38dc5b79d861df70f4d9793aa9d7fc3b47ff","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'Nonce'Unds'NonExistentAddress'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"9f2e4d13e840df3ec4a403b5305d38dc5b79d861df70f4d9793aa9d7fc3b47ff","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'Nonce'Unds'NonExistentAddress'Unds'{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"9f2e4d13e840df3ec4a403b5305d38dc5b79d861df70f4d9793aa9d7fc3b47ff","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"6dc7e36d4af3029469c72906afd5bcc2d23bfd39c9daae4a61416111eee1960c","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'getNonce'Unds'unknownSymbolic'Unds'address{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}...truncated","rule-id":"6dc7e36d4af3029469c72906afd5bcc2d23bfd39c9daae4a61416111eee1960c","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"equation did not match term:  distinct application symbols: Lblmethod'Unds'AccountParamsTest'Unds'test'Unds'getNonce'Unds'unknownSymbolic'Unds'address{}, Lblmethod'Unds'AccountParamsTest'Unds'testDealConcrete'Unds'{}","rule-id":"6dc7e36d4af3029469c72906afd5bcc2d23bfd39c9daae4a61416111eee1960c","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"24f1c49206508c64e029253c37c243d97ca8b3aaea2e4d938380c89870b81955","tag":"DebugAttemptEquation"}
 {"origin":"kore-rpc","result":{"rule-id":"24f1c49206508c64e029253c37c243d97ca8b3aaea2e4d938380c89870b81955","tag":"success"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"a8608e93d2fa2474f47dce0d5e8b028fefd181e673448e559be5b684e165b3cb","tag":"DebugAttemptEquation"}
@@ -495,7 +502,7 @@
 {"origin":"kore-rpc","rule-id":"1c726cd81629c2e5f411539a7f9b4d297e8600e5d71a5d235d287e3001f3ec84","tag":"DebugAttemptEquation"}
 {"origin":"kore-rpc","result":{"rule-id":"1c726cd81629c2e5f411539a7f9b4d297e8600e5d71a5d235d287e3001f3ec84","tag":"success"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"311b80d2cb12d368f230eba968464e1fc926bd57e304059b282b82af4d9626d9","tag":"DebugAttemptEquation"}
-{"origin":"kore-rpc","result":{"reason":"Could not infer the equation requirement:     \\equals{SortBool{}, _}( Lbl'Unds-GT-'Int'Unds'{}( \\dv{SortInt{}}(\"0\"), \\dv{SortInt{}}(\"0\") ), \\dv{SortBool{}}(\"true\") ) and the matching requirement:     \\top{_}() from the side condition:     Assumed true condition:     \\top{_}() TermLike replacements: Predicate replacements: Assumed to be defined: The negated implication is:     \\and(     /* term: */ \\top{_}(), \\and(     /* predicate: */ \\top{_}(),     /* substitution: */ \\top() ))...truncated","rule-id":"311b80d2cb12d368f230eba968464e1fc926bd57e304059b282b82af4d9626d9","tag":"failure"},"tag":"simplification"}
+{"origin":"kore-rpc","result":{"reason":"Could not infer the equation requirement:     \\equals{SortBool{}, _}( Lbl'Unds-GT-'Int'Unds'{}( \\dv{SortInt{}}(\"0\"), \\dv{SortInt{}}(\"0\") ), \\dv{SortBool{}}(\"true\") ) and the matching requirement:     \\top{_}() from the side condition:     Assumed true condition:     \\top{_}() TermLike replacements: Predicate replacements: Assumed to be defined: The negated implication is:     \\and(     /* term: */ \\top{_}(), \\and(     /* predicate: */ \\top{_}(),     /* substitution: */ \\top() ))","rule-id":"311b80d2cb12d368f230eba968464e1fc926bd57e304059b282b82af4d9626d9","tag":"failure"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"4367434b0f61c404f7a2e926426bd23874dd547de689c5d15089967fbab2b3d5","tag":"DebugAttemptEquation"}
 {"origin":"kore-rpc","result":{"rule-id":"4367434b0f61c404f7a2e926426bd23874dd547de689c5d15089967fbab2b3d5","tag":"success"},"tag":"simplification"}
 {"origin":"kore-rpc","rule-id":"fbe738165f639daf7b0dcba662c58004e0105d6e404eda8984b62787c5c84fb8","tag":"DebugAttemptEquation"}