Symbol: resolve_branch_sym