Symbol: p_branch_do