diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 755b507..af4cf63 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -135,7 +135,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==7.0.7
+        run: pip3 install certora-cli==7.22.2
 
       - name: Install Solidity
         run: |
diff --git a/certora/specs/CommunityTokenDeployer.spec b/certora/specs/CommunityTokenDeployer.spec
index 8cdf0cd..e410437 100644
--- a/certora/specs/CommunityTokenDeployer.spec
+++ b/certora/specs/CommunityTokenDeployer.spec
@@ -9,9 +9,6 @@ methods {
 
   function CommunityOwnerTokenRegistry.getEntry(address) external returns (address) envfree;
   function CommunityOwnerTokenRegistry.tokenDeployer() external returns (address) envfree;
-
-
-  function _.balanceOf(address _owner) external => DISPATCHER(true);
 }
 
 rule integrityOfDeploy {