BVTCK-32 Adding tests for declaration of method constraints and marking parameters/return values as cascaded
BVTCK-32 Adding tests for method constraint declarations in hierarchies