Report question

Question: How to make Code Contracts believe that variable is not null?