[SRS] Do not use fixed variables, even if LB==UB

[flomnes]

Fixed variables make some problems infeasible in some cases. It is better not to use them.

Instead, variables will be bounded on both sides with LB==UB.