Exploring the Duality in Conflict-Directed Model-Based Diagnosis