enabled code contracts building