Function parse_contract_expr 

pub(crate) fn parse_contract_expr<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    expr: &Expr,
    sp: &str,
) -> ContractExpr<'tcx>