Corrected some issues with termination proving.
Improve test reporting in case of fatal errors