[SMTChecker] Do not visit the name of a modifier invocation#7823

chriseth merged 1 commit intodevelopethereum/solidity:developfrom

smt_typetype_msgethereum/solidity:smt_typetype_msgCopy head branch name to clipboard