Fix free of solver's tree.