fixup! Update contract type deprecation warning tests

Author: matheusaaguiar

test/libsolidity/smtCheckerTests/deployment/deploy_trusted_addresses.sol

@@ -16,5 +16,5 @@ contract C {
 // SMTEngine: all
 // SMTExtCalls: trusted
 // ----
-// Warning 9170: (107-115): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (107-115): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Info 1391: CHC: 3 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/smtCheckerTests/deployment/deploy_untrusted_addresses.sol

@@ -15,7 +15,7 @@ contract C {
 // ====
 // SMTEngine: all
 // ----
-// Warning 9170: (107-115): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (107-115): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Warning 8729: (70-77): Contract deployment is only supported in the trusted mode for external calls with the CHC engine.
 // Warning 8729: (88-95): Contract deployment is only supported in the trusted mode for external calls with the CHC engine.
 // Warning 6328: (100-116): CHC: Assertion violation happens here.\nCounterexample:\n\nd1 = 0\nd2 = 0\n\nTransaction trace:\nC.constructor()\nC.f()

test/libsolidity/smtCheckerTests/functions/getters/contract.sol

@@ -12,6 +12,6 @@ contract C {
 // ====
 // SMTEngine: all
 // ----
-// Warning 9170: (97-103): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (97-103): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Warning 6328: (123-158): CHC: Assertion violation happens here.\nCounterexample:\nd = 0\ne = 0\n\nTransaction trace:\nC.constructor()\nState: d = 0\nC.f()
 // Info 1391: CHC: 1 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/smtCheckerTests/functions/getters/struct_4.sol

@@ -18,7 +18,7 @@ contract C {
 // ====
 // SMTEngine: all
 // ----
-// Warning 9170: (206-214): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (206-214): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Warning 2072: (146-183): Unused local variable.
 // Warning 8364: (187-193): Assertion checker does not yet implement type function () view external returns (contract D,function () external returns (uint256))
 // Warning 6328: (234-269): CHC: Assertion violation happens here.\nCounterexample:\ns = {d: 0, f: 0}\nd = 0\nf = 0\n\nTransaction trace:\nC.constructor()\nState: s = {d: 0, f: 0}\nC.test()

test/libsolidity/smtCheckerTests/types/contract.sol

@@ -8,5 +8,5 @@ contract C
 // SMTEngine: all
 // SMTIgnoreCex: yes
 // ----
-// Warning 9170: (58-64): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (58-64): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Warning 6328: (51-65): CHC: Assertion violation happens here.\nCounterexample:\n\nc = 0\nd = 1\n\nTransaction trace:\nC.constructor()\nC.f(0, 1)

test/libsolidity/smtCheckerTests/types/contract_2.sol

@@ -13,5 +13,5 @@ contract C
 // SMTEngine: all
 // SMTIgnoreCex: yes
 // ----
-// Warning 9170: (83-89): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (83-89): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Warning 6328: (76-90): CHC: Assertion violation happens here.\nCounterexample:\n\nc = 0\nd = 1\n\nTransaction trace:\nC.constructor()\nC.f(0, 1)

test/libsolidity/smtCheckerTests/types/contract_3.sol

@@ -9,7 +9,7 @@ contract C
 // ====
 // SMTEngine: all
 // ----
-// Warning 9170: (64-70): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
-// Warning 9170: (83-89): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
-// Warning 9170: (101-107): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (64-70): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
+// Warning 9170: (83-89): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
+// Warning 9170: (101-107): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Info 1391: CHC: 1 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/smtCheckerTests/types/contract_address_conversion_2.sol

@@ -10,5 +10,5 @@ contract C
 // ====
 // SMTEngine: all
 // ----
-// Warning 9170: (121-127): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (121-127): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // Info 1391: CHC: 2 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/syntaxTests/conversion/implicit_conversion_of_super_in_comparison.sol

@@ -21,10 +21,10 @@ contract C {
 // ----
 // TypeError 2271: (144-157): Built-in binary operator != cannot be applied to types type(contract super C) and contract C.
 // TypeError 2271: (167-180): Built-in binary operator != cannot be applied to types contract C and type(contract super C).
-// Warning 9170: (167-180): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (167-180): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // TypeError 2271: (254-264): Built-in binary operator != cannot be applied to types type(contract super C) and contract C.
 // TypeError 2271: (274-284): Built-in binary operator != cannot be applied to types contract C and type(contract super C).
-// Warning 9170: (274-284): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (274-284): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.
 // TypeError 2271: (349-359): Built-in binary operator != cannot be applied to types type(contract super C) and contract D.
 // TypeError 2271: (369-379): Built-in binary operator != cannot be applied to types contract D and type(contract super C).
-// Warning 9170: (369-379): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Instead, use an explicit cast to address type.
+// Warning 9170: (369-379): Comparison of variables of contract type is deprecated and scheduled for removal in the next breaking version (0.9). Use an explicit cast to address type and compare the addresses instead.