public void FSM2Dot1()
{
FSM fa = FSM.FromTerm(CompoundTerm.Parse(FSMTRIANGLE));
GraphParams gp = new GraphParams("Test1", fa);
StringBuilder sb = DotWriter.ToDot(gp);
string s = sb.ToString();
Regex r = new Regex("\\[ label = \"AssignColor\" \\];", RegexOptions.Multiline);
int count = 0;
count = r.Matches(s).Count;
Assert.AreEqual(42, count);
}