Property-Based Testing in a Screencast Editor, Case Study 1: Timeline Flattening | Hacker News Reader