add contract-correct caveat to contract violation error messages