{
PredictionForSequence prediction = (PredictionForSequence)currentNode.getState();
if (pathToInit.size() == WLength && prediction.prediction == MarkovOutcome.positive)
{
long countInPTA=prediction.occurrence.firstElem;
if (countInPTA < maxCount.longValue()/2) // paths that are very common are likely to be present from a number of different states and as such not very good for discriminating between them.
{
LinkedList<Label> path = new LinkedList<Label>();for(PTAExplorationNode elem:pathToInit) path.addFirst(elem.getInput());
long value = computeInconsistencyForMergingPath(path, checker);
if (value >= 0)
{