pub fn strip_refinement_wrappers( expr: &Spanned<Expr>, lifted_vars: &HashMap<String, String>, ctx: &CodegenContext, ) -> Spanned<Expr>