Function base_contract 

fn base_contract(hir: &Hir<'_>, expr: &Expr<'_>) -> Option<ContractId>