Avoid overlap of equations for Bool combinators simplifications #3424

Job	Run time
Version Sync	13s
Check Java code formatting	28s
Nix: Maven	47s
K Tests	26m 35s
K Ubuntu Jammy Package	27m 30s
Nix flake (self-hosted, linux, normal)	1m 52s
Nix flake (macos-13, macos-13)	15m 32s
Nix flake (MacM1, self-macos-12)	21m 36s
Performace Tests	10m 53s
	1h 45m 26s

Provide feedback