Symbol: p_branch_empty