Feature #8494: Process extended format of violation witnesses
Generate error traces in a new format
Published in build:
First of all, see the description of #9458. Also, we plan to eliminate many redundant error trace transformations that sometimes break visualization of found warnings.