code: private Function getMergedByAND(List<Function> list) {
  		Iterator<Function> iterAND = list.iterator();
  		Function mergedConditions = iterAND.next();
  		while (iterAND.hasNext()) {
  			Function e = iterAND.next();
  			mergedConditions = termFactory.getFunctionAND(e, mergedConditions);
  		}		
  		return mergedConditions;
  	}
docs: *
  Takes a list of boolean atoms and returns one single atom
  representing the conjunction
  
  ASSUMPTION: the list is non-empty
  
  Example: A -> A
  A, B -> AND(B,A)
  A, B, C -> AND(C,AND(B,A))