Add valid inequality in extended formulation

(Currently the inequality is not active)