¿Cómo se prueba que un productor de bloques usa FIFO? (no puedes)