public LearnerGraph init(PTASequenceEngine engine, int plusSize, int minusSize)
{
LearnerGraph graph = decoratedLearner.init(engine,plusSize,minusSize);
Set<Label> alphabet = graph.pathroutines.computeAlphabet();
// Create a state to ensure that the entire alphabet is visible when if-then automata are loaded.
phantomVertex = graph.nextID(true);
CmpVertex dummyState = AbstractLearnerGraph.generateNewCmpVertex(phantomVertex, bfLearnerInitConfiguration.config);
Map<Label,CmpVertex> row = graph.createNewRow();
for(Label lbl:alphabet) graph.addTransition(row, lbl, dummyState);
graph.transitionMatrix.put(dummyState, row);