Adding simple code contracts to share between projects