Haskell.ecc_mutation no longer assumes that truncation of H corresponds to untransmitted bits; otherwise just code polishing