Bug Injection

One useful way to check specifications is by injecting bugs into the verified contracts and checking that the Prover finds the injected bugs.

Todo

This section should be expanded.