addOperation(k, newop); op.addClone(newop); newop.setCloneCount(op.getCloneCount()+1);
addOperation(k, newop); op.addClone(newop); newop.setCloneCount(op.getCloneCount()+1);
addOperation(k, newop); op.addClone(newop); newop.setCloneCount(op.getCloneCount()+1);
addOperation(k, newop); op.addClone(newop); newop.setCloneCount(op.getCloneCount()+1);