[Bug-Candidate]: Coverage report seems like can't handle contracts made with ERC-1167 pattern

[gabkov]

Describe the issue:

I have 2 different contracts which instances made with cloneDeterministic and it seems like the coverage can't detect these contracts for some reason and highlights the whole contract with 100% red. However this is not true, because with invariants it can be validated that the code indeed run.

Code example to reproduce the issue:

import "@openzeppelin/contracts/proxy/Clones.sol";
...
cloned = Clones.cloneDeterministic({master: implementation, salt: keccak256(abi.encode(salt1, salt2, salt3))});

Version:

Echidna 2.2.1
Slither 0.9.6

Relevant log output:

Let me know if you need any further details.