extracted deadlock transitions and can output to the terminal