Partial Order Reduction for Branching Security