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

	boolean result = true;
	if (term.var != null) {
	    return result;
	} else if (!term.operation.behavorial) {
	    return false;
	} else if (term.operation.isMethod()) {
	    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) {
		vect.addElement(term.operation);
	    }

	}

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

    }