pub(crate) fn rewrite( model: Model, global_args: &GlobalArgs, context: Arc<RwLock<Context<'static>>>, ) -> Result<Model>