説明/参照：
Explanation:
Contract.Requires（obj！= null）のような構文を使用する "Microsoft Code Contracts"があります。
実行時およびコンパイル時のチェックContract.Requiresは、同封するものに対する前提条件契約を指定します。
メソッドまたはプロパティ。
間違った答え：
A：Contract.Assumeは、指定された条件が真であるとしても、それが真であると仮定するようにコード分析ツールに指示します。
常に真実であると静的に証明することはできません。
C：Contract.Ensuresは、囲むメソッドまたはプロパティの事後条件契約を指定します。
D：Contract.Invariantは、囲んでいるメソッドまたはプロパティに対して不変の契約を指定し、
契約の条件が満たされない場合はメッセージ
参照先：https://msdn.microsoft.com/ja-jp/library/system.diagnostics.contracts.contract
（v = vs 110）.aspx