Corrected detection of Boolean array indices.

Since this commit, SMTInterpol will throw an UnsupportedOperationException if
a user tries to declare a function symbol that returns an array with Boolean
indices.  Before, we only complained when such a symbol was contained in an
assertion.

Also fixes a double if check reported by PMD.