Property-Based Testing in a Screencast Editor, Case Study 1: Timeline Flatteningwickstrom.tech·1 pts·owickstrom·0