Report question

Question: Code Contracts and Asynchrony