external set_smoothing : t -> bool -> unit =
      "simplifier_set_smoothing"