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