Add formal verification to your code review guidelines

Here is a prompt for you: "State the property that must hold and enforce it at its owner using...