Hm...I'm running into a timeout with #Creusot when trying to verify a simple `add` operation on a HashMap newtype 
https://github.com/creusot-rs/creusot/discussions/1477
Does anyone have any idea what's going on here?
Disclaimer: I'm totally new to creusot and #FormalVerification, so please be gentle with me.
Boosts very much appreciated. 
Thank you! 
GitHubTimeout when trying to verify `add` operation on HashMap newtype · creusot-rs creusot · Discussion #1477Hi all, disclaimer: I'm totally new to formal verification and creusot, so bear with me 😄 I try to verify a simple add operation on a HashMap newtype (see code below), but it seems I run into a tim...
