What a call-graph traversal sees that contract-by-contract review cannot

Most smart-contract review reads one contract at a time. You open the file, you look for the usual...