Turns off using lambdas for array comprehension

Using lambdas for array comprehension can cause errors in
get-value operations later.

Fixes #7767

Author: TGWDB

src/solvers/smt2/smt2_conv.cpp

@@ -132,7 +132,6 @@ smt2_convt::smt2_convt(
     use_array_of_bool = true;
     use_as_const = true;
     use_check_sat_assuming = true;
-    use_lambda_for_array = true;
     emit_set_logic = false;
     use_datatypes = true;
     break;