let texpr exp = try Some (T.expr exp) with T.AbortTranslation msg -> Wp_parameters.warning "untranslatable expression: %s@." msg; Wp_parameters.warning "...(try to see if we really need it)@."; None