Almost same result to the main theorem of this paper
(the extension of Kruskal-Friedman theorem to ordinal trees,
Main theorem 1 in section 3) is found in
R.Thomas, Well-quasi-ordering infinite graphs with forbidden finite planar
minor, Trans. AMS, 312, 1, pp.279--313, 1989.