Aiemmassa yksityisessä yhteydenpidossa tilintarkastajien kanssa @CertoraInc muodollisen vahvistuksen voimassa oleva valtion omaisuus sai CRIT:n monimutkaisen lainausprotokollan kokoamisessa, joka jäi manuaalisista tarkastuksista huomaamatta. Selkeä todiste FV:n arvosta fuzzingin ja klassisten auditointien täydentämisessä.