RuleApp interface for all external solvers (prep for #3514)

[BookWood7th]

Related Issue

#3514

Intended Change

Currently goals are only closed if the associated taclet is a closing taclet or alternatively if the rule application is a SMTRuleApp.
To enable other external solvers to close goals, this pull request adds a layer of abstraction that is used instead of SMTRuleApp to determine if the goal was closed.

Plan

Type of pull request

• Refactoring (behaviour should not change or only minimally change)
• There are changes to the (Java) code

Ensuring quality

• I made sure that introduced/changed code is well documented (javadoc and inline comments).
• I have tested the feature as follows: KeY test suite
• I have checked that runtime performance has not deteriorated.

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[codecov]

Codecov Report

Attention: Patch coverage is 7.69231% with 12 lines in your changes missing coverage. Please review.

Project coverage is 38.15%. Comparing base (3bdb527) to head (3c41ebb).
Report is 18 commits behind head on main.

Files with missing lines	Patch %	Lines
...a/ilkd/key/rule/AbstractExternalSolverRuleApp.java	0.00%	11 Missing ⚠️
.../src/main/java/de/uka/ilkd/key/smt/SMTRuleApp.java	50.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #3521      +/-   ##
============================================
- Coverage     38.17%   38.15%   -0.02%     
+ Complexity    17227    17221       -6     
============================================
  Files          2110     2110              
  Lines        127652   127630      -22     
  Branches      21464    21461       -3     
============================================
- Hits          48727    48703      -24     
- Misses        72934    72935       +1     
- Partials       5991     5992       +1     

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

[WolframPfeifer]

Thanks!