if (tsl > tfl) {
            result.add("Node inconsistency: minStart" + nodeStr(node) + timeStr(tsl.toString()) + " > minFinish"
                    + nodeStr(node) + timeStr(tfl.toString()) + ".");
        }