WalrusException: apply WalrusException monitoring in all files