Function generated_function_variable_sources 

pub fn generated_function_variable_sources(
    source_program: &Program,
    analysis_program: &Program,
) -> HashMap<String, String>

Map generated predicate-function variables to their authored local names.