Function display_expr_user_friendly 

pub fn display_expr_user_friendly<'tcx>(
    expr: &ContractExpr<'tcx>,
    tcx: TyCtxt<'tcx>,
    struct_def_id: Option<DefId>,
    fn_def_id: Option<DefId>,
) -> String