Function rename_main 

pub fn rename_main(
    main: &Main,
    ident: &dyn Fn(&str) -> String,
    reserved: &BTreeSet<String>,
) -> Vec<Effect>

The main effects with target local names.