[Bug-Candidate]: PropertiesConstants.INITIAL_BALANCE is an arbitrary value unrelated to Echidna default setup

[aviggiano]

Describe the issue:

The PropertiesConstants contracts contain some hardcoded parameters that are related to Echidna's default setup, such as USER1, USER2, and USER3.

The issue is that it also contains INITIAL_BALANCE, which has nothing to do with balanceAddr or balanceContract. This can be confusing to users.

Maybe it is better to migrate this value to another contract and create the related BALANCE_ADDR or BALANCE_CONTRACT variables.

Steps to reproduce the issue:

N/A

If additional code is needed for reproducing, please copy it here, or drop us a link to the repository:

N/A

Echidna version:

N/A

Additional information:

N/A