Saving work; now it goes into the development branch
deadlock resolver resolves successfully linear deadlocks