Deadlock detection and dihomotopic reduction via progress shell decomposition