Function contract_has_function 

fn contract_has_function(
    hir: &Hir<'_>,
    cid: ContractId,
    name: &str,
    params: &[&str],
    returns: &[&str],
) -> bool