Started implementing code contracts