Added and enabled code contracts