make SYMMETRY_REDUCTION more constant

Upcoming changes using the value of SYMMETRY_REDUCTION to construct an array's
bounds. Clang seems fine with this, but GCC does not consider a static const
constant enough to be involved in a bounds calculation.

Github: related to #194 "clearer CEX output with scalarsets"