** Test the behaviour for an empty file
Read test
Index footprint: 
Reading all blocks ...
... all blocks read.
Reading blocks with indices {0, 9, ..., 99} ...
Predicted size 0
... all blocks read.
Reading blocks with indices {0, 1, ..., 9} ...
Predicted size 0
... all blocks read.
Reading blocks with indices [0, 10[ ...
... all blocks read.
Reading blocks with indices {90, 91, ..., 99} ...
Predicted size 0
... all blocks read.
Reading blocks with indices [90, 100[ ...
... all blocks read.
Reading blocks with index 50 ...
Predicted size 0
... all blocks read.
Reading blocks with indices [50, 51[ ...
... all blocks read.
Reading blocks with indices [0,10[\cup [50, 51[\cup [90, 100[ ...
... all blocks read.
Reading blocks with indices \emptyset ...
... all blocks read.
This block of read tests is complete.