code: @Override
      public boolean containsTerm(Term t) {
          List<Term> terms = getTerms();
          for (int i = 0; i < terms.size(); i++) {
              Term t2 = terms.get(i);
              if (t2.equals(t))
                  return true;
          }
          return false;
      }
docs: Check whether the function contains a particular term argument or not.
  
  @param t the term in question.
  @return true if the function contains the term, or false otherwise.