Add `ObserveHasAnyDatoms` #317

Job	Run time
build-and-test / Build and Test (ubuntu-latest)	1m 54s
build-and-test / Build and Test (windows-latest)	3m 14s
build-and-test / Build and Test (macos-latest)	1m 55s
build-and-test / Build and Test (macos-13)	3m 40s
	10m 43s

Provide feedback