Added code to test CPLEX vars given by the general formulation.