label_is_normal

147

} else if (label_is_normal(label)) {

357

assert(label_is_normal(left));

358

assert(label_is_normal(right));

38

if (!label_is_normal(label))

661

if(!label_is_normal(label))

276

assert(label_is_normal(label));

290

assert(label_is_normal(label));

332

assert(label_is_normal(label));