#48 removed warnings for code contract requires in async method and interator block.