SMTChecker can't last for more than 200+ contracts

## Description

put on a test to make the SMTChecker formal proof verification the contracts recursively and it can't last for more than 200+ without **Solc error,** or the compiler hanging, on FAST hardware,

## Environment

- Compiler version: 0.8.19 - last
- Target EVM version (as per compiler settings): any
- Framework/IDE (e.g. Truffle or Remix): plain solc
- EVM execution environment / backend / blockchain client: any
- Operating system: any

## Steps to Reproduce

Check more than 200+ contracts with SMTChecker (using Z3) recursively without hanging fast hardware, or outputting error. Actually outputting the checker logs

The report names no source file, test, or minimal reproducer. Start by constructing a minimal Solidity 0.8.19 input with more than 200 contracts and SMTChecker/Z3 enabled, then capture whether solc hangs or emits an error; done when the failure and checker logs are reproducible.

Written by the indexing model from the issue text.