Regression: Added POC to revert#84

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

fra-stori:revertfra-stori/contracts-verification-benchmark:revertCopy head branch name to clipboard