WIP: using a modified version of attester to better compute coverage