diff --git a/certora/confs/SupplyCap.conf b/certora/confs/SupplyCap.conf
index 2dba5a04..60874031 100644
--- a/certora/confs/SupplyCap.conf
+++ b/certora/confs/SupplyCap.conf
@@ -20,6 +20,8 @@
     "verify": "MetaMorphoHarness:certora/specs/SupplyCap.spec",
     "loop_iter": "2",
     "optimistic_loop": true,
+    "nondet_difficult_funcs": true,
+    "nondet_minimal_difficulty": "50",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "MetaMorpho Supply Cap",