Optimize `pyk.kast.inner.collect` #7106

Job	Run time
Java: Linting	1m 28s
Pyk: Code Quality & Unit Tests (3.10)	1m 31s
Pyk: Code Quality & Unit Tests (3.11)	1m 23s
Pyk: Code Quality & Unit Tests (3.12)	1m 26s
Pyk: Code Quality & Unit Tests (3.13)	2m 10s
Code Quality Checks	1s
Pyk: Nix Build (ubuntu-latest)	45s
K: Nix Build & Test (self-hosted, linux, normal)	6m 4s
Pyk: Nix Build (macos-14)	1m 37s
K: Source Build & Test	17m 58s
K: Ubuntu Jammy Frontend Package	4m 18s
K: Nix Build & Test (MacM1, self-macos-12)	27m 42s
K: Ubuntu Jammy Package	20m 51s
Pyk: Integration Tests	21m 58s
Pyk: Profiling	2m 55s
Pyk: Documentation	4m 6s
Pyk: Regression Tests	17m 26s
	2h 13m 39s

Provide feedback