Process extended format of violation witnesses
We already had a lot of issues regarding various printers of violation witnesses. And we will have them unless there will be the only printer of witnesses that will follow the extended format. Moreover, the new approach will allow to avoid changes with printing of violation witnesses in any static verification tools. Each of them will either strictly follow the extended format itself or their witnesses will be passed through the printer.