BVTCK-32 Adding tests for definition of cross-parameter constraints
BVTCK-32 Adding tests for declaration of method constraints and marking parameters/return values as cascaded
BVTCK-32 Adding tests for invalid method constraint declarations