Function contract_linearization_base_to_derived 

fn contract_linearization_base_to_derived(
    contract_name: &str,
    contract_map: &HashMap<String, ContractIR>,
) -> Result<Vec<String>, SolidityError>