Fixing test fail until SMTInterpol's logic was changed to an array supporting.
Fixing test fail until SMTInterpol's logic was changed to an array supporting.

git-svn-id: 81b63372acb31b227ae206b0e193c75f469b8824@17765 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