Added additional information to the exception raised when TAC_PROOF fails.