Apply treewidth approximations to undirected copy in report.h.

Improve readability of some algorithms, used in debugging this issue.