Add code contracts.
Activity
RxDave commentedon May 22, 2016
Done.