node=node.getNextTableauNode();
}
// if set to some node, then computePreblocking will be asked to check from that node onwards in case of invalid blocks
m_firstChangedNode=firstInvalidlyBlockedNode;
if (monitor!=null)
monitor.blockingValidationFinished(invalidBlocks);
if (debuggingMode) {
System.out.println("");
System.out.println("Checked "+checkedBlocks+" blocked nodes of which "+invalidBlocks+" were invalid.");
}