Declare all Bool combinator equations simplifications (to disambiguate cases) #3423

Job	Run time
Version Sync	18s
Check Java code formatting	28s
K Tests	26m 35s
K Ubuntu Jammy Package	21m 43s
Nix: Maven	46s
Nix flake (self-hosted, linux, normal)	2m 8s
Nix flake (macos-13, macos-13)	14m 25s
Nix flake (MacM1, self-macos-12)	21m 15s
Performace Tests	11m 0s
	1h 38m 38s

Provide feedback