Optimize OSS replaceKnown checks

[FliegendeWurst]

Extends #3256 by only doing a directed replaceKnown check after a rule app.

[github-actions]

Thank you for your contribution.

The test artifacts are available on Artiweb.
The newest artifact is here.

[codecov]

Codecov Report

Merging #3257 (cf28d9c) into main (6c808a3) will increase coverage by 0.02%.
The diff coverage is 92.50%.

@@             Coverage Diff              @@
##               main    #3257      +/-   ##
============================================
+ Coverage     37.74%   37.77%   +0.02%     
- Complexity    16851    16870      +19     
============================================
  Files          2052     2052              
  Lines        125687   125750      +63     
  Branches      21234    21252      +18     
============================================
+ Hits          47436    47497      +61     
+ Misses        72408    72403       -5     
- Partials       5843     5850       +7     

Files Changed	Coverage Δ
...n/java/de/uka/ilkd/key/rule/OneStepSimplifier.java	83.08% <90.62%> (-0.02%)	⬇️
...in/java/de/uka/ilkd/key/logic/PosInOccurrence.java	85.29% <100.00%> (+0.21%)	⬆️
...src/main/java/de/uka/ilkd/key/logic/PosInTerm.java	78.98% <100.00%> (+7.55%)	⬆️
...rc/main/java/de/uka/ilkd/key/proof/Statistics.java	64.48% <100.00%> (+0.59%)	⬆️

... and 1 file with indirect coverage changes

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