Fixes and improvements in `module_to_kore` #7101

Job	Run time
Java: Linting	1m 29s
Pyk: Code Quality & Unit Tests (3.10)	1m 26s
Pyk: Code Quality & Unit Tests (3.11)	1m 20s
Pyk: Code Quality & Unit Tests (3.12)	1m 23s
Pyk: Code Quality & Unit Tests (3.13)	2m 6s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	5m 10s
K: Source Build & Test	18m 6s
K: Nix Build & Test (self-hosted, linux, normal)	5m 49s
Pyk: Nix Build (ubuntu-latest)	48s
K: Ubuntu Jammy Package	17m 20s
Pyk: Nix Build (macos-14)	1m 32s
K: Nix Build & Test (MacM1, self-macos-12)	1m 4s
Pyk: Profiling	3m 6s
Pyk: Documentation	3m 52s
Pyk: Regression Tests	18m 1s
Pyk: Integration Tests	22m 12s
	1h 44m 45s

Provide feedback