Simplify width inference to reduce the opportunity to make mistakes - fix #325

Simplify depth-first search (Driver.idfs) and use it for width-related graph walking.