@schuessf from the Ultimate team at the University of Freiburg noticed that our witnesses often contain invariants about local variables that are not in scope.
We should add an option to filter these out using the attributes we introduced to CIL in goblint/cil#155.