[Bug-Candidate]: Possible differences in addresses

[glarregay-tob]

Describe the issue:

It can happen that in the corpus a function call has the address of the echidna contract as a parameter, for example callSomething(24, 17, 0x00a329c0648769A73afAc7F9381E08FB43dBEA72).

In that case, it is possible that the address of the contract deployed in the tests will be different, leading to non-reproducible behavior due to that difference. In that case, the call should be replaced with callSomething(24, 17, address(ContractDeployedInTest))

Code example to reproduce the issue:

Private code.

Version:

N/A

Relevant log output:

No response