void PushOperationNoExec(Operation operation) { if (current_operation != null) current_operation.PushOperation (operation); else current_operation = operation; }