Improved handling of dff with async resets