support write MergedEdge during CSE proof #7050

Job	Run time
Java: Linting	1m 40s
Pyk: Code Quality & Unit Tests (3.10)	1m 32s
Pyk: Code Quality & Unit Tests (3.11)	1m 25s
Pyk: Code Quality & Unit Tests (3.12)	1m 32s
Pyk: Code Quality & Unit Tests (3.13)	2m 15s
Code Quality Checks	1s
Pyk: Nix Build (ubuntu-latest)	1m 1s
Pyk: Nix Build (macos-14)	1m 34s
K: Source Build & Test	17m 45s
K: Ubuntu Jammy Frontend Package	4m 59s
K: Nix Build & Test (self-hosted, linux, normal)	4m 4s
K: Nix Build & Test (MacM1, self-macos-12)	21m 11s
K: Ubuntu Jammy Package	13m 17s
Pyk: Documentation	3m 42s
Pyk: Regression Tests	18m 35s
Pyk: Profiling	3m 46s
Pyk: Integration Tests	11m 22s
	1h 49m 41s

Provide feedback