code: public Conjunction append( IConjunct conjunct)
      {
      for( Iterator<IDisjunct> disjuncts = conjunct.getDisjuncts();
           disjuncts.hasNext();
           add( disjuncts.next()));
      return this;
      }
docs: Appends another conjunction to this conjunction.