let wp_model name = {
wp_name = name ;
wp_qed = NA ;
wp_logicvar = NA ;
wp_method = (fun () -> Wp_parameters.fatal "no method implemented") ;
wp_computer = (fun () -> Wp_parameters.fatal "computer not implemented") ;
wp_altmodel = None ;
}