gen.print("t.kind==" + i);
gen.print("@t.kind==" + i);
    private static void GenCond(BitSet s) {	int n, i;	n = Sets.Size(s);	if (n==0) gen.print("false"); // should never happen	else if (n <= maxTerm)	    for (i=0; i<=Tab.maxT; i++) {		if (s.get(i)) {		    gen.print("t.kind==" + i);		    n--; if (n > 0) gen.print(" || ");		}	    }	else gen.print("StartOf(" + NewCondSet(s) + ")");    }