Replace `transfer` (deprecated) occurrences with `call` in smt tests#16291

matheusaaguiar wants to merge 2 commits intodevelopargotorg/solidity:developfrom

update-deprecated-smt-testsargotorg/solidity:update-deprecated-smt-testsCopy head branch name to clipboard