Simplify the initial state before computing it's definedness #5388

Job	Run time
Java: Linting	1m 20s
Pyk: Code Quality & Unit Tests (3.10)	1m 12s
Pyk: Documentation	1m 0s
Pyk: Code Quality & Unit Tests (3.11)	1m 10s
Pyk: Code Quality & Unit Tests (3.12)	1m 16s
Code Quality Checks	1s
K: Source Build & Test	14m 51s
K: Ubuntu Jammy Package	19m 34s
K: Nix Build & Test (self-hosted, linux, normal)	4m 42s
Pyk: Nix Build (ubuntu-latest)	36s
K: Nix Build & Test (macos-13, macos-13)	15m 56s
Pyk: Nix Build (macos-13)	2m 18s
K: Nix Build & Test (MacM1, self-macos-12)	22m 43s
Pyk: Profiling	4m 21s
K: Profiling	11m 23s
Pyk: Integration Tests	17m 57s
Pyk: Regression Tests	17m 41s
	2h 18m 1s

Provide feedback