Added information on how Contract .Asert and .Assume are rewritten
Added information on how Contract .Asert and .Assume are rewritten


Avallach7/NET-Code-Contracts-Presentation,Avallach7/NET-Code-Contracts-Presentation