- migliorato output
- aggiunto switch per trovare tutti i deadlock (ignorando le aree critiche)