graph.addToCompatibility(graph.findVertex("A"), graph.findVertex("B"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
ChangesRecorder patcher = new ChangesRecorder(null);
patcher.addTransition(graph.findVertex("B"), AbstractLearnerGraph.generateNewLabel("c", cloneConfig), graph.findVertex("B"));
patcher.removeTransition(graph.findVertex("A"), label_a, graph.findVertex("B"));
patcher.removeFromCompatibility(graph.findVertex("B"), graph.findVertex("A"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
patcher.addToCompatibility(graph.findVertex("B"), graph.findVertex("S"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
patcher.addTransition(graph.findVertex("A"), label_q, graph.findVertex("B"));
patcher.setInitial(graph.findVertex("A"));
patcher.addRelabelling(VertexID.parseID("A"), VertexID.parseID("U"));
patcher.addRelabelling(VertexID.parseID("C"), VertexID.parseID("R"));