Ensure that comparisons are not identically false

[mizabrik]

No description provided.

[github-actions]

Clang Test Results

  168 files  ± 0    168 suites  ±0   15m 43s ⏱️ -4s
8 441 tests  - 97  8 435 ✅  - 97  6 💤 ±0  0 ❌ ±0 
8 507 runs   - 97  8 501 ✅  - 97  6 💤 ±0  0 ❌ ±0 

Results for commit 159cefc. ± Comparison against base commit 94766b9.

This pull request removes 103 and adds 6 tests. Note that renamed tests count towards both.

lpc_math_polynomial_suite ‑ lpc_basic_skipping_layers_test
lpc_math_polynomial_suite ‑ lpc_dfs_basic_test
lpc_params_test_suite ‑ lpc_batches_num_3_test
lpc_params_test_suite ‑ lpc_different_hash_types_test
pack_equal_test_suite ‑ bubb_to_bubb_1
pack_equal_test_suite ‑ bubb_to_bubb_2
pack_equal_test_suite ‑ bubb_to_bubb_3
pack_equal_test_suite ‑ bubb_to_bulb_1
pack_equal_test_suite ‑ bubb_to_bulb_2
pack_equal_test_suite ‑ bubb_to_lubb_1
…

pack_imploder_test_suite ‑ be_to_be_1
pack_imploder_test_suite ‑ be_to_be_2
pack_imploder_test_suite ‑ be_to_le_1
pack_imploder_test_suite ‑ be_to_le_2
pack_imploder_test_suite ‑ be_to_le_3
pack_imploder_test_suite ‑ bubb_to_lulb_4

♻️ This comment has been updated with latest results.

[github-actions]

Gcc Test Results

  168 files  ±0    168 suites  ±0   16m 51s ⏱️ +16s
8 534 tests  - 4  8 528 ✅  - 4  6 💤 ±0  0 ❌ ±0 
8 600 runs   - 4  8 594 ✅  - 4  6 💤 ±0  0 ❌ ±0 

Results for commit 159cefc. ± Comparison against base commit 94766b9.

This pull request removes 5 and adds 1 tests. Note that renamed tests count towards both.

blueprint_plonk_test_suite ‑ blueprint_non_native_multiplication_pallas
lpc_math_polynomial_suite ‑ lpc_basic_skipping_layers_test
lpc_math_polynomial_suite ‑ lpc_dfs_basic_test
lpc_params_test_suite ‑ lpc_batches_num_3_test
lpc_params_test_suite ‑ lpc_different_hash_types_test

blueprint_plonk_test_suite ‑ blueprint_non_native_addition_pallas

♻️ This comment has been updated with latest results.

[ETatuzova]

Uncomment constraints that are similar to CMP