removed assertion, made intnegbin viterbi_em_step explicit