8485868788899091929394
OTS.current().begin(); service.setup_oper(numberOfResources); correct = (BasicAction.Current().add(new CrashAbstractRecordImpl()) == AddOutcome.AR_ADDED); correct = correct && service.is_correct(); if (correct) {