CodeContracts
Missing CC dependency.