ens-usernames/certora/specs/UsernameRegistrar.spec

rule sanity(env e, method f) {
    calldataarg args;
    f(e, args);
    satisfy true;
}