Silicon implementation of new backend-independent counterexample format

[marcoeilers]

Silicon implementation of the new backend-independent counterexample format (see https://github.com/viperproject/silver/pull/883), written by @rvandoren in his practical work project.