Fishy output of fault localization for the program in out.bpl
some changes to the reporting.