Disable array-cell-sensitivity3 with new SMT back-end

[tautschnig]

See #7549: this test appears to fail when building with coverage annotation enabled (but succeeds otherwise).

(I am not closing that issue here as this is workaround, not a fix of the problem.)

• Each commit message has a non-empty body, explaining why the change was made.
• n/a Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
• n/a The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
• Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
• n/a My commit message includes data points confirming performance improvements (if claimed).
• My PR is restricted to a single feature or bugfix.
• n/a White-space or formatting changes outside the feature-related changed lines are in commits of their own.

[codecov]

Codecov Report

Base: 78.48% // Head: 78.29% // Decreases project coverage by -0.20% ⚠️

Coverage data is based on head (be28f1e) compared to base (e1e7dc7).
Patch coverage: 88.05% of modified lines in pull request are covered.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #7558      +/-   ##
===========================================
- Coverage    78.48%   78.29%   -0.20%     
===========================================
  Files         1667     1670       +3     
  Lines       191473   191671     +198     
===========================================
- Hits        150286   150068     -218     
- Misses       41187    41603     +416     

Impacted Files	Coverage Δ
src/ansi-c/c_typecheck_code.cpp	80.06% <ø> (-0.11%)	⬇️
src/goto-checker/solver_factory.h	100.00% <ø> (ø)
...cts/dynamic-frames/dfcc_contract_clauses_codegen.h	0.00% <0.00%> (ø)
...contracts/dynamic-frames/dfcc_contract_functions.h	100.00% <ø> (ø)
...t/contracts/dynamic-frames/dfcc_contract_handler.h	0.00% <ø> (ø)
...ent/contracts/dynamic-frames/dfcc_spec_functions.h	0.00% <ø> (ø)
...o-instrument/contracts/dynamic-frames/dfcc_utils.h	0.00% <ø> (ø)
src/goto-instrument/havoc_utils.cpp	100.00% <ø> (ø)
src/goto-instrument/havoc_utils.h	100.00% <ø> (ø)
src/goto-programs/builtin_functions.cpp	60.07% <ø> (-0.85%)	⬇️
... and 57 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

[TGWDB]

As a fix for now