private void WriteMarkovChainToDisk()
{
_fileTransitions = new TemporaryFile("tra");
_fileStateLabelings = new TemporaryFile("lab");
var streamTransitions = new StreamWriter(_fileTransitions.FilePath);
var streamStateLabelings = new StreamWriter(_fileStateLabelings.FilePath);
MarkovChain.ExportToMrmc(streamTransitions, streamStateLabelings);
}