Add is_loop predicate to KCFGSemantics and derived classes #5311

Job	Run time
Java: Linting	1m 16s
Pyk: Documentation	54s
Pyk: Code Quality & Unit Tests (3.10)	1m 15s
Pyk: Code Quality & Unit Tests (3.11)	1m 5s
Pyk: Code Quality & Unit Tests (3.12)	1m 12s
Code Quality Checks	1s
K: Nix Build & Test (self-hosted, linux, normal)	4m 40s
K: Nix Build & Test (macos-13, macos-13)	16m 18s
K: Source Build & Test	15m 13s
Pyk: Nix Build (ubuntu-latest)	34s
K: Nix Build & Test (MacM1, self-macos-12)	25m 3s
K: Ubuntu Jammy Package	14m 39s
Pyk: Nix Build (macos-13)	2m 15s
K: Profiling	11m 27s
Pyk: Regression Tests	18m 50s
Pyk: Integration Tests	17m 1s
Pyk: Profiling	4m 56s
	2h 16m 39s

Provide feedback