testing installation of code contracts