KCFG optimisation-on-creation #7123

Job	Run time
Pyk: Code Quality & Unit Tests (3.10)	1m 28s
Pyk: Code Quality & Unit Tests (3.11)	1m 16s
Java: Linting	1m 22s
Pyk: Code Quality & Unit Tests (3.12)	1m 24s
Pyk: Code Quality & Unit Tests (3.13)	2m 9s
Code Quality Checks	1s
K: Source Build & Test	1m 45s
K: Ubuntu Jammy Package	1m 44s
Pyk: Nix Build (ubuntu-latest)	55s
K: Ubuntu Jammy Frontend Package	1m 45s
Pyk: Nix Build (macos-14)	1m 30s
K: Nix Build & Test (self-hosted, linux, normal)	1m 44s
K: Nix Build & Test (MacM1, self-macos-12)	1m 45s
Pyk: Profiling	1s
Pyk: Integration Tests	1s
Pyk: Documentation	1s
Pyk: Regression Tests	1s
	18m 52s

Provide feedback