for (Node post : getPostPNSet(t)) {
            Interval start2 = ((Time) post).getStartTime();
            if (!start2.equals(end)) {
                result.add("Concurrently inconsistency: finish" + nodeStr(t) + timeStr(end.toString()) + " != start"
                        + nodeStr(post) + timeStr(start2.toString()) + ".");