public void Check1()
{
this.model.AddState (string.Empty);
this.model.AddState (string.Empty);
this.model.AddState (string.Empty);
this.model.AddTransition (0, 1);
this.model.AddTransition (2, 1);
var closure = new ModelClosure (this.model);
Assert.AreEqual (this.model.StatesCount, closure.StatesCount);
Assert.IsTrue (ModelTotalityChecker.Check (closure));
AssertHelper.IsSubmodel (this.model, closure);
Assert.IsTrue (closure.Transitions (1).Count > 0);
}
