final UnitermOperator fo = (UnitermOperator) newOp;
this.createNewUniterm(fo);
}
if ( newOp instanceof AbstractContainer ){
final AbstractContainer oc = (AbstractContainer) newOp;
this.createNewOperatorContainer(oc);
}
if ( newOp instanceof ListOperator ){
final ListOperator lo = (ListOperator) newOp;