Testing & debugging markov