rule manyFilters(env e, method f, calldataarg args) filtered { f -> f.selector == sig:aaa().selector,
    g -> g.selector == sig:bbb().selector
} {
    assert lastReverted;
}
