Feature #8494: Process extended format of violation witnesses
Visualize a new format of error traces
The error trace format that is used at the moment was not designed well enough. Thus, we have numerous issues with it (both when generating it and when processing it). The new format will be better. Besides, it will come with some improvements from the extended format of violation witnesses.