Renegotiation Design With Unverifiable Information