Symbol: annotated_branch