openzeppelin-contracts/certora/specs/ERC1155Burnable.spec

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

    f(e, args);

    assert false;
}