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