Partial-Order Reduction in Symbolic State Space Exploration? ??