Implementable batch constructor for verifying scenario batch with Azuki