Debug output now contains decomposition width