Another small update to delete_branch to support backtrackable updates and trie_unintern_nr.
Authored by: tswift 2010-07-05
Parent: [r6668]
Child: [r6670]