4118 better indexing for rewrite rules#4120

Merged

jberthold merged 21 commits intomasterfrom

4118-better-indexing-for-rewrite-rules

Jul 18, 2025

Commits on Jul 14, 2025

consider function calls under injections in subject indeterminate (do not fail rewrite)
jberthold
committed

Commits on Jul 15, 2025

apply known replacements from path conditions during evaluation
jberthold
committed
Merge remote-tracking branch 'origin/master' into HOTFIX-not-stuck-on-sort-difference-with-functions
jberthold
committed
adjust integration test expectation (lookup replacement)
jberthold
committed

Commits on Jul 17, 2025

Commits on Jul 18, 2025