Witness Extraction for Constructive Universal-Existential Statements