@trailofbits you're adding annotations which claim to perform deterministic measurements stochastically, and particularly describe price as a use case. it sounds great for money laundering but highly questionable for "vulnerabilities".