private static boolean cobasisJudgeIn(Term term, Vector vect) {

	boolean result = true;

	if (term.var != null) {
	    return true;
	} else {
	    boolean found = false;
	    for (int i=0; i<vect.size(); i++) {
		Operation op = (Operation)vect.elementAt(i);
		if (op.equals(term.operation)) {
		    found = true;
		}
	    }
	    if (!found) {

		if (term.operation.info.equals("system-default")) {
		    found = true;
		} else if (term.operation.name.equals("eq")) {
		    found = true;
		}

	    }

	    if (!found) {
		return false;
	    } else {
		for (int i=0; i<term.subterms.length; i++) {
		    result = cobasisJudgeIn(term.subterms[i], vect);
		    if (!result) return result;
		}       
	    }
	}

	return result;
    }