assert(is_Block(n));
/* Test for legal loop header: Block, Phi, ... */
if (!is_outermost_StartBlock(n)) {
arity = get_Block_n_cfgpreds(n);
for (i = 0; i < arity; i++) {
assert(is_Block(n));
/* Test for legal loop header: Block, Phi, ... */
if (!is_outermost_StartBlock(n)) {
arity = get_Block_n_cfgpreds(n);
for (i = 0; i < arity; i++) {