diff --git a/certora/munged/governance/TimelockController.sol b/certora/munged/governance/TimelockController.sol
index 3da7e2170..c6d30c665 100644
--- a/certora/munged/governance/TimelockController.sol
+++ b/certora/munged/governance/TimelockController.sol
@@ -357,6 +357,7 @@ contract TimelockController is AccessControl {
 
 
     function scheduleCheck1(bytes32 id) public virtual onlyRole(PROPOSER_ROLE) {
-        require(false);
+        bool tmp = false;
+        require(tmp);
     }
 } 
diff --git a/certora/specs/TimelockController.spec b/certora/specs/TimelockController.spec
index f7896a1b7..b4dc024ce 100644
--- a/certora/specs/TimelockController.spec
+++ b/certora/specs/TimelockController.spec
@@ -249,7 +249,7 @@ rule executeRevertFromUnset(method f, env e, env e2){
 
     // hashIdCorrelation(id, target, value, data, predecessor, salt);
     require data.length < 4;
-    require hashOperation(target, value, data, predecessor, salt) == id;
+    // require hashOperation(target, value, data, predecessor, salt) == id;
     require unset(id);
 
     scheduleCheck1@withrevert(e, id);