It seems that deadlocks can be found and resolved.
EdgeChasing seems to work