final Configuration shallowCopy = automatonAfterInit.config.copy();shallowCopy.setLearnerCloneGraph(false);
LearnerGraph copyOfAutomaton = new LearnerGraph(shallowCopy);LearnerGraph.copyGraphs(automatonAfterInit, copyOfAutomaton);
ourLearner.setInitPta(copyOfAutomaton);
RecordProgressDecorator recorder = new RecordProgressDecorator(ourLearner.getLearner(),log,1,learnerInitConfiguration.config,true);
learnerInitConfiguration.graph = smallPTA;learnerInitConfiguration.testSet = new LinkedList<List<statechum.Label>>();
recorder.writeLearnerEvaluationData(learnerInitConfiguration);
recorder.init(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
recorder.close();
log.close();// double-close in fact (should already been closed by recorder) but it does not really matter.
}