GraphSolver now has a method for producing a tree representation of a graph that is not necessarily a tree in the first place.