Generate rewrite relation #7241

Job	Run time
Pyk: Code Quality & Unit Tests (3.10)	1m 27s
Java: Linting	1m 10s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.12)	1m 21s
Pyk: Code Quality & Unit Tests (3.13)	2m 4s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	6m 34s
K: Source Build & Test	13m 40s
K: Nix Build & Test (self-hosted, linux, normal)	5m 42s
K: Ubuntu Jammy Package	19m 43s
Pyk: Nix Build (ubuntu-24.04)	51s
K: Nix Build & Test (MacM1, self-macos-12)	24m 6s
Pyk: Nix Build (macos-14)	1m 41s
Pyk: Regression Tests	17m 39s
Pyk: Profiling	9m 46s
Pyk: Documentation	10m 8s
Pyk: Integration Tests	18m 13s
	2h 15m 24s

Provide feedback