Called from optimiser and contains only constraints 3,4.
Constraint 3 => yet to be linearized.