Fix deadlock log message

[thpani]

Fix a log message. This was printing Only deadlocks will be checked even with --no-deadlocks.

Fixes #2118

• Tests added for any new code
• Ran make fmt-fix (or had formatting run automatically on all files edited)
• Documentation added for any new functionality
• Entries added to ./unreleased/ for any new functionality

[Kukovec]

Can you explain how changing the predicates class affects the log message? It's not obvious from the diff

[konnov]

Can you explain how changing the predicates class affects the log message? It's not obvious from the diff

I am also not sure. What are derived predicates?

[thpani]

Can you explain how changing the predicates class affects the log message? It's not obvious from the diff

It doesn't.
DerivedPredicates just does not contain the checker options (like --no-deadlocks) so we have to inject a trait that contains this superset of options.

But I also messed it up, HasCheckerPreds is injectible while WithCheckerPreds is not. Fix in 363c9ee.

[codecov-commenter]

Codecov Report

Merging #2760 (17d3bf4) into main (2c336c1) will decrease coverage by 0.03%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main    #2760      +/-   ##
==========================================
- Coverage   78.86%   78.83%   -0.03%     
==========================================
  Files         465      465              
  Lines       15895    15896       +1     
  Branches     2590     2605      +15     
==========================================
- Hits        12535    12532       -3     
- Misses       3360     3364       +4     

Files	Coverage Δ
...syte/apalache/tla/bmcmt/passes/VCGenPassImpl.scala	100.00% <100.00%> (ø)

... and 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[Kukovec]

LGTM