On the Nash points of subanalytic sets

Based on a recently developed rank Theorem for Eisenstein power series, we provide new proofs of the following two results of W. Pawlucki: I) The non regular locus of a complex or real analytic map is an analytic set. II) The set of semianalytic or Nash points of a subanalytic set X is a subanalytic set, whose complement has codimension two in X.
Comment: Important: Our original pre-print arXiv:2205.03079 had two set of distinct results. We have divided that pre-print in two. This paper contains the second set of results ; v2 of the original submission contains the first set of results. We have divided our pre-print