code: private boolean compatible(int i, int j, Set<Integer> T[][]) {
  	if(s2comp[i] != s2comp[j]) return false;
  	for(int k = 0; k < nbLabels; k++) {
  	    if(! T[i][k].equals(T[j][k])) return false;
  	}
  	return true;
      }
docs: transition in the same components