[GNATprove model] Fix report following Matthias Güdemann remarks

* Update PDF version.