Usage Bounds -- The Higher-Order, Call-by-Value Applied Pi-Calculus -- Branching