Adds code contracts to HttpClient.