Fixes and improvements in `module_to_kore` #7096

Job	Run time
Java: Linting	1m 27s
Pyk: Code Quality & Unit Tests (3.10)	1m 27s
Pyk: Code Quality & Unit Tests (3.11)	1m 21s
Pyk: Code Quality & Unit Tests (3.12)	1m 30s
Pyk: Code Quality & Unit Tests (3.13)	2m 8s
Code Quality Checks	1s
K: Source Build & Test	44m 27s
Pyk: Nix Build (ubuntu-latest)	42s
K: Nix Build & Test (self-hosted, linux, normal)	5m 3s
Pyk: Nix Build (macos-14)	1m 34s
K: Ubuntu Jammy Frontend Package	18m 34s
K: Nix Build & Test (MacM1, self-macos-12)	28m 54s
K: Ubuntu Jammy Package	42m 45s
Pyk: Profiling	4m 20s
Pyk: Regression Tests	17m 34s
Pyk: Documentation	4m 50s
Pyk: Integration Tests	13m 22s
	3h 9m 59s

Provide feedback