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