find deadlock one step before you get to it. also changed the extraction to only consider a single env initial state. TODO:fix ordering of printed deadlock states.