diff --git a/certora/confs/MaxRepaidHealthy.conf b/certora/confs/MaxRepaidHealthy.conf
index fa7dd33a3..1f1fb2aa5 100644
--- a/certora/confs/MaxRepaidHealthy.conf
+++ b/certora/confs/MaxRepaidHealthy.conf
@@ -12,6 +12,7 @@
   "solc_evm_version": "osaka",
   "optimistic_loop": true,
   "loop_iter": 2,
+  "rule_sanity": "basic",
   "optimistic_hashing": true,
   "hashing_length_bound": 2048,
   "prover_args": [