Add missing specification examples in tests
33 files changed