enable code contracts