Improve speed of witness generation for context-insensitive analyses

[michael-schwarz]

For the sv-comp benchmarks with annotations we contributed to #855, producing witnesses drastically increased runtime of a context-insensitive analysis from 2mins to 16mins, meaning we could not solve these, even if #899 would have landed on time.

We should investigate and fix this issue for next year's sv-comp.