Further adjustments to Makefiles for proof stability.

Signed-off-by: Rod Chapman <rodchap@amazon.com>

Author: rod-chapman

proofs/cbmc/pointwise_sum_of_products/Makefile

@@ -26,7 +26,7 @@ USE_DYNAMIC_FRAMES=1
 
 # Disable any setting of EXTERNAL_SAT_SOLVER, and choose SMT backend instead
 EXTERNAL_SAT_SOLVER=
-CBMCFLAGS=--smt2 --slice-formula
+CBMCFLAGS=--smt2 --slice-formula --no-array-field-sensitivity
 
 FUNCTION_NAME = pointwise_sum_of_products