Function fmt_contract_expanded 

pub fn fmt_contract_expanded<'tcx>(
    tcx: TyCtxt<'tcx>,
    property: &Property<'tcx>,
    struct_def_id: Option<DefId>,
    fn_def_id: Option<DefId>,
) -> (String, String)