if (tsu > tfu) {
            result.add("Node inconsistency: maxStart" + nodeStr(node) + timeStr(tsu.toString()) + " > maxFinish"
                    + nodeStr(node) + timeStr(tfu.toString()) + ".");
        }