Which conditions do you want to check for
Pre-condition violations
Post-condition violations
Invariant violations
