analyzer
analyzer copied to clipboard
Refactor Apron `Printable`s
This implements a fix to my observation that Apron output is always line broken with 80 column margin from Format by default https://github.com/goblint/analyzer/issues/1513#issuecomment-2192286933.
This avoids completely arbitrary line breaks (which may still go over column 80 in indented output line tracing) which also make searching the tracing files more annoying. At the same time, it might bypass #1513 (of course we should still optimize it in CIL as well).
This also cleans up other Printable-like things in Apron domains by adding the functions into GobApron.