Hacker News Reader

One thing I may have missed from the documentation: is it possible to check post-conditions (side effects of the function and return value)?

Side effects can be checked in `@leave(check_side_effects)`. I plan to add something to check results.