Symbol: insert_branch