add declaration of sealed vertex types in tests