Set of extensions for R# that simplifies Design by Contract programming using Code Contracts.