Renegotiation design under symmetric information