On the impossibility of effectively using likely-invariants for software attestation purposes