BVTCK-45 Adding/marking tests for constraint inheritance
BVTCK-45 Marking assertions for invalid constraint declarations
BVTCK-45 Adding/marking tests for traversable resolver