let simpl = Wp_parameters.Simpl.get