Pointer propagation fix for powerset-cherrypick

[Kukovec]

• 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

closes #2606

[codecov-commenter]

Codecov Report

Merging #2607 (1eb6c56) into main (bc2f7e1) will increase coverage by 0.02%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main    #2607      +/-   ##
==========================================
+ Coverage   78.43%   78.45%   +0.02%     
==========================================
  Files         445      445              
  Lines       15642    15645       +3     
  Branches     2552     2562      +10     
==========================================
+ Hits        12269    12275       +6     
+ Misses       3373     3370       -3     

Impacted Files	Coverage Δ
...syte/apalache/tla/bmcmt/rules/aux/CherryPick.scala	93.80% <100.00%> (+0.05%)	⬆️

... and 2 files with indirect coverage changes

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

[konnov]

Looks like a right fix

[thpani]

Shouldn't this update the changelog, so we bump the version when cutting a release?

[Kukovec]

I didn't think this ticked "Entries added to ./unreleased/ for any new functionality", but following the link, I guess bugfixes also qualify. We should update the PR template, "any new functionality" is imprecise.