remove code contracts for now until I sanely figure out how to use them