Code Contracts: How they look after compiling? | Hacker News Reader