Built-in Rules

The Prover has some built-in general-purpose rules that can be verified on a contract out-of-the-box.

Todo

This feature is currently undocumented.