diff --git a/certora/helpers/MockDllFifo.sol b/certora/helpers/MockDllFifo.sol
index 26cc3b4..de97115 100644
--- a/certora/helpers/MockDllFifo.sol
+++ b/certora/helpers/MockDllFifo.sol
@@ -12,13 +12,6 @@ contract MockDllFifo {
 
     uint256 public maxIterations;
 
-    uint256 internal dummy_state_variable;
-
-    function dummy_state_modifying_function() public {
-        // to fix a CVL error when only one function is accessible
-        dummy_state_variable = 1;
-    }
-
     function getValueOf(address _id) public view returns (uint256) {
         return dll.getValueOf(_id);
     }
diff --git a/certora/helpers/MockDllSimple.sol b/certora/helpers/MockDllSimple.sol
index a835202..65950fa 100644
--- a/certora/helpers/MockDllSimple.sol
+++ b/certora/helpers/MockDllSimple.sol
@@ -10,13 +10,6 @@ contract MockDllSimple {
 
     DoubleLinkedList.List public dll;
 
-    uint256 internal dummy_state_variable;
-
-    function dummy_state_modifying_function() public {
-        // to fix a CVL error when only one function is accessible
-        dummy_state_variable = 1;
-    }
-
     function getValueOf(address _id) public view returns (uint256) {
         return dll.getValueOf(_id);
     }