Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems