markov_times_markov currently uses some 'traveling states' thing and does not return the expected graph.