Add method `filter_rewrites` to `KoreDefn` #7219

Job	Run time
Java: Linting	1m 15s
Java: Linting	1m 15s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Pyk: Code Quality & Unit Tests (3.12)	1m 19s
Pyk: Code Quality & Unit Tests (3.12)	1m 19s
Pyk: Code Quality & Unit Tests (3.13)	2m 17s
Pyk: Code Quality & Unit Tests (3.13)	2m 17s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	4m 55s
K: Ubuntu Jammy Frontend Package	4m 55s
K: Ubuntu Jammy Package	39m 10s
K: Ubuntu Jammy Package	13m 7s
Pyk: Nix Build (ubuntu-24.04)	48s
Pyk: Nix Build (ubuntu-24.04)	48s
K: Nix Build & Test (self-hosted, linux, normal)	4m 46s
K: Nix Build & Test (self-hosted, linux, normal)	4m 46s
Pyk: Nix Build (macos-14)	1m 43s
Pyk: Nix Build (macos-14)	1m 43s
K: Source Build & Test	40m 37s
K: Source Build & Test	40m 37s
K: Nix Build & Test (MacM1, self-macos-12)	25m 18s
K: Nix Build & Test (MacM1, self-macos-12)	25m 18s
Pyk: Documentation	4m 30s
Pyk: Documentation	4m 30s
Pyk: Regression Tests	17m 49s
Pyk: Regression Tests	17m 49s
Pyk: Integration Tests	18m 28s
Pyk: Integration Tests	18m 28s
Pyk: Profiling	3m 39s
Pyk: Profiling	3m 39s
	5h 12m 31s

Provide feedback