openzeppelin-contracts/certora/specs/ERC1155Pausable.spec

rule sanity {
    method f; env e; calldataarg args;

    f(e, args);

    assert false;
}