Get Array from a CounterExample

[Stephan Falke]

Hi,

for use in our bounded model checker LLBMC
(http://baldur.iti.kit.edu/llbmc/), I implemented an STP function that
lets you get the assignment to an array variable from a counterexample.
A diff is attached. It would be great if this functionality could be
integrated into STP.

Kind regards,
Stephan