Add support for arrays in counter example part for Z3 solver. 
Add support for arrays in counter example part for Z3 solver. 

This just skips the term when having an array type, so it will not be mentioned in the counter example report. To implement this, is work in progress. Be aware of this and don't use the array theory of Z3 yet!

git-svn-id: 81b63372acb31b227ae206b0e193c75f469b8824@17782 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt