Regression: created no_intervening_calls#83

fiaravia wants to merge 4 commits intofsainas:mainfsainas/contracts-verification-benchmark:mainfrom

fra-stori:no_intervening_callsfra-stori/contracts-verification-benchmark:no_intervening_callsCopy head branch name to clipboard