*/
protected void updateCurrentLocalAtomicOperation(Operation newMRO) {
if (currentLocalCompositeOperation == null) {
currentLocalCompositeOperation = currentLocalAtomicOperation;
} else if (currentLocalAtomicOperation != null)
currentLocalCompositeOperation = new SplitOperation(
currentLocalCompositeOperation, currentLocalAtomicOperation);
currentLocalAtomicOperation = newMRO;
}