 (*) The files are the same OR OLDER than the 'former' ones.

 (*) The interpbacktrace bug is not present.

 (*) The prettyprint bug is present.

 (*) The reclaim troubles persist, or have recurred. ("ueberszielhinaus"
     every time there is a garbage collection; scattered further errors
     sometimes, in a pattern we haven't been able to recognise.)
