(j3.2006) C501 in TS 18508

[Van Snyder]

C508 in TS 18508 (13-251.pdf) probably isn't enough.

There should also be a constraint that probibits an EXIT or CYCLE from
belonging to a construct that encloses the change-team construct.

It would be better (i.e., easier to find) if these were constraints on
the EXIT and CYCLE statements, not on the change-team construct.  I.e.,
part of C821 and C845 in 12-007.

There should also probably be a constraint against a RETURN statement
within a change-team construct (compare C810 and C822 in 12-007).