let the_model () = 
  match !current_model with Some m -> m | None -> 
    Wp_parameters.fatal "No logic model"