Solver timeout when attempting to prove mint(Pass)

What could be the reason to get such an error message?

`Solver timeout when attempting to prove mint(Pass)
`

I get this when there is incrementing logic in the tested behaviour and solidity function.

I'm running:

`act hevm --spec --soljson `

Reproduce the timeout with `act hevm --spec --soljson ` using the reported incrementing behavior and Solidity function. Compare a minimal case with and without incrementing logic, then trace the timeout from the `hevm` entry point; done means identifying the cause and documenting a fix or workaround.

Written by the indexing model from the issue text.