public void TietzesGraphTest()
{
SimpleGraph tietzes = SimpleGraphFactory.MakeTietzesGraph();
SimpleQuotientGraph quotientGraph = new SimpleQuotientGraph(tietzes);
CheckParameters(quotientGraph, 3, 4, 2);
}