operations.put(op.getProcedureId(), op);
op = new FleaseOperation(ctrlLayer);
operations.put(op.getProcedureId(), op);
op = new StateOperation(babuDBI, ctrlLayer);
operations.put(op.getProcedureId(), op);
op = new VolatileStateOperation(babuDBI);
operations.put(op.getProcedureId(), op);