{// not merging based on a unique transition from an initial state
//learnerEval.config.setGeneralisationThreshold(1);
learnerOfPairs = new LearnerMarkovPassive(learnerEval,referenceGraph,pta);learnerOfPairs.setMarkovModel(m);
//learnerOfPairs.setPairsToMerge(checkVertices(pta, referenceGraph, m));
final LearnerGraph finalReferenceGraph = referenceGraph;
pta.setScoreComputationCallback(new ScoreComputationCallback() {
LearnerGraph coregraph = null;
Set<Label> callbackAlphabet = null;
LearnerGraphND origInverse = null;
@Override