code contracts afsnit