List<Term> newTerms = new ArrayList<Term>();
for(int i=0; i<n; i++)
newTerms.add(termInstances[i]);
newOp.addTerms(newTerms);
List<String> termsOp = new ArrayList<String>();
for(int i=0; i<newOp.getTerms().toArray().length; i++)
termsOp.add(op.getTerms().toArray()[i].toString() +"@"+ newOp.getTerms().toArray()[i].toString());
BitSet pe = new BitSet();