diff --git a/booster/test/rpc-integration/test-vacuous/params-unchecked-vacuous-rewrite.json b/booster/test/rpc-integration/test-vacuous/params-unchecked-vacuous-rewrite.json
index 0ab8ffbc67..c58212fd42 100644
--- a/booster/test/rpc-integration/test-vacuous/params-unchecked-vacuous-rewrite.json
+++ b/booster/test/rpc-integration/test-vacuous/params-unchecked-vacuous-rewrite.json
@@ -1 +1 @@
-{ "assume-state-defined": true }
\ No newline at end of file
+{ "assume-defined": true }
diff --git a/booster/test/rpc-integration/test-vacuous/params-vacuous-but-rewritten.json b/booster/test/rpc-integration/test-vacuous/params-vacuous-but-rewritten.json
index 0ab8ffbc67..c58212fd42 100644
--- a/booster/test/rpc-integration/test-vacuous/params-vacuous-but-rewritten.json
+++ b/booster/test/rpc-integration/test-vacuous/params-vacuous-but-rewritten.json
@@ -1 +1 @@
-{ "assume-state-defined": true }
\ No newline at end of file
+{ "assume-defined": true }