if (gsu > hsu) {
                subStr.add("Behavioural inconsistency: maxStart" + nodeStr(v0) + timeStr(gsu.toString()) + " > "
                        + "maxStart" + nodeStr(v1) + timeStr(hsu.toString()) + ".");
            }