Why the smart-contract audit doesn’t work?