Invariant code contracts – using class-wide contracts | Hacker News Reader