tests for viterbi
maxmin-semiring