Confirming the Presence of Second-population Stars and the Iron Discrepancy along the AGB of the Globular Cluster NGC 6752