adds tests for variable elimination for markov models