We now do loopification in Core, so there should be no letrec left where all
recursive calls are in tail position and the code is effectively dead.
Hence we remove it.