This unit test shows that after a given number of run
of the same file, the error changes.
Unfortunately, this can not be automatically verified, since
the result is printed in the python error stream, and cannot be
redirected.