openzeppelin-contracts/certora/specs/ERC20Votes.spec

rule sanity(method f) {
    env e;
    calldataarg arg;
    f(e, arg);
    assert false;
}