Refactor get_aux with extract_prov