- scritti anche deadlock noti nell'output XML
- migliorato algoritmo di riduzione deadlock