Check in alpha version of semiring decoding (works for chars)