uniquify branches
finish uniquify