🐛 Fix printing of bvselect/bvsext/bvzext terms

[lsrcz]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.

Project coverage is 55.02%. Comparing base (55fc2f7) to head (f73da2f).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...rc/Grisette/Internal/SymPrim/Prim/Internal/Term.hs	0.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #255      +/-   ##
==========================================
+ Coverage   54.99%   55.02%   +0.03%     
==========================================
  Files         121      121              
  Lines       12801    12801              
  Branches      904      904              
==========================================
+ Hits         7040     7044       +4     
+ Misses       4857     4853       -4     
  Partials      904      904              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.