type mode = Fcl_opti.mode = Restart | Continue
val minimize :
  Fcl_goals.t ->
  Fcl_var.Fd.t ->
  ?control:(int -> unit) ->
  ?step:int -> ?mode:mode -> (int -> 'a) -> 'a option