Verifying and testing timeliness constraints of Haskell programs · HackerTrans