diff --git a/package/version b/package/version
index f20fb7e7c..3ca3fda95 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.199
+0.1.200
diff --git a/pyproject.toml b/pyproject.toml
index e361a2a77..cc9374ac7 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.199"
+version = "0.1.200"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py
index a6c437794..6d2ac851e 100644
--- a/src/kontrol/__init__.py
+++ b/src/kontrol/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '0.1.199'
+VERSION: Final = '0.1.200'
diff --git a/src/kontrol/foundry.py b/src/kontrol/foundry.py
index f8b9377f1..6941ba48c 100644
--- a/src/kontrol/foundry.py
+++ b/src/kontrol/foundry.py
@@ -415,13 +415,11 @@ def symbolic_account(prefix: str, program: KInner, storage: KInner | None = None
     @staticmethod
     def help_info() -> list[str]:
         res_lines: list[str] = []
-        print_foundry_success_info = any('foundry_success' in line for line in res_lines)
-        if print_foundry_success_info:
-            res_lines.append('')
-            res_lines.append('See `foundry_success` predicate for more information:')
-            res_lines.append(
-                'https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate'
-            )
+        res_lines.append('')
+        res_lines.append('See `foundry_success` predicate for more information:')
+        res_lines.append(
+            'https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate'
+        )
         res_lines.append('')
         res_lines.append(
             'Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol'
diff --git a/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
index a5cd8b263..b1e2af6fe 100644
--- a/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
+++ b/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
@@ -1513,4 +1513,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected b/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
index 2fa31accc..d1ab8c7b4 100644
--- a/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
+++ b/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
@@ -1747,4 +1747,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected b/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
index 3c15e4d3e..0a4200a46 100644
--- a/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
+++ b/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
@@ -4583,4 +4583,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
index 5e5587070..a1041dd0e 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
@@ -1747,4 +1747,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected b/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
index 1805ba552..9b8e6cece 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
@@ -1513,4 +1513,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected b/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
index 20d1d704f..0f75049e1 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
@@ -2645,4 +2645,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected b/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
index 8730474a5..d15316434 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
@@ -2882,4 +2882,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
index 01f4af2d5..2fc62968a 100644
--- a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
@@ -1354,4 +1354,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
index e100fa4c5..4595c7767 100644
--- a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
@@ -1771,4 +1771,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
index 4724d690d..77245c682 100644
--- a/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
@@ -2017,4 +2017,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected b/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
index d0c6868ef..9cae805ee 100644
--- a/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
+++ b/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
@@ -2708,4 +2708,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/gas-abstraction.expected b/src/tests/integration/test-data/show/gas-abstraction.expected
index 9ae4c493b..5fa482f26 100644
--- a/src/tests/integration/test-data/show/gas-abstraction.expected
+++ b/src/tests/integration/test-data/show/gas-abstraction.expected
@@ -1044,4 +1044,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/node-refutation.expected b/src/tests/integration/test-data/show/node-refutation.expected
index 899e9ae60..7b5fd33c0 100644
--- a/src/tests/integration/test-data/show/node-refutation.expected
+++ b/src/tests/integration/test-data/show/node-refutation.expected
@@ -906,4 +906,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file
diff --git a/src/tests/integration/test-data/show/split-node.expected b/src/tests/integration/test-data/show/split-node.expected
index b4569dd8b..28db5e784 100644
--- a/src/tests/integration/test-data/show/split-node.expected
+++ b/src/tests/integration/test-data/show/split-node.expected
@@ -6936,4 +6936,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
\ No newline at end of file