I can't find the constraints or ordinary normative prohibitions against branching into a construct, other than against branching to the <end-...> statement. I searched for "branch" and "control transfer" and "transfer of control." Did I just miss it, or have we not actually said it?