Reformulation for the Diagnosis of Discrete-Event Systems