debugging semi-markov