Using code contracts on the service interface instead of the service implementation.