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 method constraint declarations in hierarchies
BVTCK-32 Adding tests for ExecutableValidator#validateParameters() and validateConstructorParameters()
BVTCK-32 Adding tests for ExecutableValidator#validateReturnValue() and validateConstructorReturnValue()
BVTCK-32 Adding test for getInvalidValue() for cross-parameter constraints
BVTCK-32 Adding test for checking that runtime type is used for path node creation
BVTCK-32 Adding tests for property paths
BVTCK-32 Incorporating review remarks
BVTCK-32 Aligning structure of test packages