Configuring code contracts