Fix PartitionBodyLiteralsTransformer with subsumptive clause

[quentin]

The PartitionBodyLiteralsTransformer did not handle subsumptive clauses and treated them as normal clause.

It's a design flaw of SubsumptiveClause being a subclass of Clause. Similar issue could happen for any transformation that rewrites a Clause.

fix #2551

[codecov]

Codecov Report

❌ Patch coverage is 90.00000% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 81.15%. Comparing base (b37994d) to head (0447ecd).
⚠️ Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
src/ast/transform/PartitionBodyLiterals.cpp	89.47%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2562      +/-   ##
==========================================
- Coverage   81.20%   81.15%   -0.05%     
==========================================
  Files         492      492              
  Lines       33370    30953    -2417     
==========================================
- Hits        27099    25121    -1978     
+ Misses       6271     5832     -439     

Files with missing lines	Coverage Δ
src/ast/transform/SubsumptionQualifier.cpp	100.00% <100.00%> (ø)
src/ast/transform/PartitionBodyLiterals.cpp	97.95% <89.47%> (-2.05%)	⬇️

... and 339 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[julienhenry]

Thank you for the fix! I am suprised we did not notice this problem earlier.