if (gsl > hsl) {
                subStr.add("Behavioural inconsistency: minStart" + nodeStr(v0) + timeStr(gsl.toString()) + " > "
                        + "minStart" + nodeStr(v1) + timeStr(hsl.toString()) + ".");
            }