// The last check: ensure that disconnected states are or are not key pairs.
// This chunk of code simply returns GD, the checking is performed by the caller of this method.
GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData> gd = new GD<List<CmpVertex>,List<CmpVertex>,LearnerGraphNDCachedData,LearnerGraphNDCachedData>();
gd.init(grA, grB, threadNumber,argConfig);gd.identifyKeyPairs();
ChangesRecorder recorder = new ChangesRecorder(null);
gd.makeSteps();gd.computeDifference(recorder);
return gd;
}