Update Example-Report with Fault-Localization Visualization
Currently, our example report does not contain fault-localization info.
To show this new feature of CPAchecker, the example report should be updated to a new version that was created with fault localization.
We should also make sure that the fault-localization shown provides useful information (and choose the fault-localization technique accordingly).