let mk_slack i alpha d =
  match i with
    | Some(k) -> 
        Slack(k, alpha, d)
    | None ->
        incr(k);
        Slack(!k, alpha, d)