In the abstract: Added "deadlocks" to the list of problems the tool can (mostly) eliminate.