let simpl() = Wp_parameters.Simpl.get()