// Note: Should be used with using(var modelchecker = new ...)
 public BuiltinDtmcModelChecker(DiscreteTimeMarkovChain markovChain, TextWriter output = null) : base(markovChain, output)
 {
     _underlyingDigraph = MarkovChain.CreateUnderlyingDigraph();
 }