code contracts settings