pub fn print_tree(tree: &GoalEvaluation<'_>)