Add option to (de)activate the extended formulation