Assert that all ObservedAtomicStructures are actually observed