MustExecOrRollback() function and GetAlloc() for tx object