let expr = Wp_error.protect_translation E.expr