Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)