The law at the time of his birth - he is naturalized.
He is NOT naturalized. The 1952 provision (b) did not apply to him. 301(7) applied to him. Mother a citizen, father not, and mother had all the residency requirements met.
Cruz was BORN a citizen. He was NOT naturalized.
Trust me, someone would come forward with naturalization papers if he had been.