[racket] Contract error messages with ->i

I am adding contracts to one of my libraries using the ->i combinator
and using the pre-condition expression. The problem I have is that if
I return false, the contract library just tells me that the
precondition failed. Is there any mechanism to attach more information
so that I can explain why the precondition failed?

-Eric