Completed TreeGraph implementation with Traversal structure, and updated treefksolverpos_iterative