**Describe the bug** Hybrid echidna doesn't correctly updates the target contract balance when running a transaction with non null `value`
Describe the bug
Hybrid echidna doesn't correctly updates the target contract balance when running a transaction with non null
value