rectification; Abhyankar-Sathaye embedding problem; variable analytic germ; semi-analytic real spectrum; space of orders of the field of germs of meromorphic functions; formal half branch; maximum dimension locus; Hilbert 17th problem 