*/
public void checkCorrectnessOfMerging(String machineToMerge, String expectedFSM,
String stateBlue, String stateRed, String graphName, boolean checkWithEquals)
{
DirectedSparseGraph g=FsmParser.buildLearnerGraph(machineToMerge, graphName,config,getLabelConverter()).pathroutines.getGraph(),
g2=(DirectedSparseGraph)g.copy();
Vertex
a = DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL, VertexID.parseID(stateRed), g),
b = DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL, VertexID.parseID(stateBlue), g);
Assert.assertNotNull("state "+stateRed+" was not found", a);