Redundant Trees for Fast IP Recovery