Adding new slack model

If we have constraints like $c_L \leq c(x) \leq c_U $, then we
transform it by adding slack variables, but in an other way than we did
before $c(x) - s = 0$ and $c_L \leq s \leq c_U$.