Inference in discrete SSMs