PhD thesis work: code to extract an execute trace from a Haskell program