DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits