Code contracts and inheritance | Hacker News Reader