has_annotation
if ((!ann->has_br_stack || !has_annotation(ann)) &&
if (ann->has_br_stack && has_annotation(ann))