Wait for quiscence
Introduce bug?
Add minimization of traces