BVTCK-32 Adding tests for method constraint declarations in hierarchies