Title: Dive in C Sharp Code Contracts