Re: [GHC] #9853: Stateful transformation causes non-termination in Hoopl analysis.